Writing a simple Core evaluator, having trouble with name lookups
Christopher Done
chrisdone at gmail.com
Sat Dec 1 12:23:57 UTC 2018
I think what Csaba means is that we can have e.g.
* GHC invocation 1
* ghc-prim:
* MyModule.foo has Unique 123
* OtherModule.bar has Unique 124
* GHC invocation 2
* base:
* MyMod.mu has Unique 123
* OtherMod.zot has Unique 124
For a unique reference then, we just need:
* ghc-prim:MyMobile.foo+123
* ghc-prim:OtherModule.bar+124
* base:MyMod.mu+123
* base:OtherMod.zot+124
For any local lookup this is reliable. If the lookup fails, a lookup
without the Unique works for cross-module lookups.
More information about the ghc-devs
mailing list