• simonmar's avatar
    [project @ 2003-04-11 13:04:37 by simonmar] · 6157da7b
    simonmar authored
    The Id for a foreign import should be a LocalId, not a GlobalId.
    Making it a GlobalId violates the invariant that all Ids defined in
    the current module should be LocalIds until CoreTidy.
    6157da7b