On 14.11 12:40, Simon Peyton-Jones wrote:
> | I'm a bit confused about variable shadowing in Core. Since every variable
> has a
> | Unique I would've thought that there is no problem with that (i.e. a Unique
> is
> | globally unique).
>
> No, as Max says, there is *not* a "no-shadowing" invarian
| I'm a bit confused about variable shadowing in Core. Since every variable has
a
| Unique I would've thought that there is no problem with that (i.e. a Unique is
| globally unique).
No, as Max says, there is *not* a "no-shadowing" invariant. Shadowing is
allowed.
The Simplifier does generally
On 13 November 2011 11:28, Michal Terepeta 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
