Re: Qualified variable in pattern: T.mkRoot

Malcolm Wallace <[email protected]> Thu, 30 Jun 2005 09:10:21 +0100

Newsgroups	gmane.comp.lang.haskell.hat
Organization	Dept of Computer Science, University of York
Message-ID	<[email protected]>

Bernard Pope <[email protected]> writes:

> > > Just foo = undefined
> 
> In Hat do you desugar the above code to:
> 
>    v = undefined
>    foo = (\Just x -> x) v

In short, yes.  The tracing machinery then gets wrapped around the
desugared version.

Regards,
    Malcolm