Re: Qualified variable in pattern: T.mkRoot

Bernard Pope <[email protected]> Thu, 30 Jun 2005 15:38:45 +1000

Newsgroups	gmane.comp.lang.haskell.hat
Message-ID	<[email protected]>

On Wed, 2005-06-29 at 16:47 +0100, Malcolm Wallace wrote:
> Thomas Davie <[email protected]> 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.