On 13 November 2011 11:28, Michal Terepeta <[email protected]> wrote: > On the other hand it seems that simplifyArgs doesn't exist anymore. So is this > just a matter of outdated comments or is it actually possible that two > different > variables in Core AST will have the same Unique?
The comment about the source of the problem may be out of date, but AFAIK it can still occur. There is a function called (IIRC) deShadowBinds you can use to recover the no-shadowing property, however, though in the output of this function you *still* won't have one distinct Unique per variable -- there is only guaranteed to be no *shadowing* of such variables. > If it is, then I have another question: is it possible that one will shadow > the > other? In other words, is it possible to come across a variable with a Unique > that is the same as some other variable already in scope? Yes. Max _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
