[project @ 2003-04-11 13:04:37 by simonmar]
authorsimonmar <unknown>
Fri, 11 Apr 2003 13:04:37 +0000 (13:04 +0000)
committersimonmar <unknown>
Fri, 11 Apr 2003 13:04:37 +0000 (13:04 +0000)
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.


No differences found