[Haskell-cafe] unique identity and name shadowing during type inference

[Geoffrey Irving]

Thanks.  I'll go with the monad for now.

Geoffrey

On Sat, Jun 20, 2009 at 4:40 PM, Lennart
Augustsson<lennart at augustsson.net> wrote:
> Use 1.  You'll probably need a monad in the type checker soon or later
> anyway, e.g., for handling errors.

On Sun, Jun 21, 2009 at 5:13 AM, Zsolt Dollenstein<zsol.zsol at gmail.com> wrote:
> I think you should also take a look at the value-supply package. At least
> that was my solution for scope analysis issues.