[Hat] Qualified variable in pattern: T.mkRoot

[Bernard Pope]

On Wed, 2005-06-29 at 16:47 +0100, Malcolm Wallace wrote:
> Thomas Davie <tatd2 at kent.ac.uk> 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.