Re: [Hat] Qualified variable in pattern: T.mkRoot

On Wed, 2005-06-29 at 16:47 +0100, Malcolm Wallace wrote:

Thomas Davie writes:

...

Okay, I see that, now I'm slightly intrigued -- if, as before, we have

Just foo = undefined

Sorry to jump in the middle of this discussion. In Hat do you desugar the above code to: v = undefined foo = (\Just x -> x) v Cheers, Bernie.