[Hat] Qualified variable in pattern: T.mkRoot

[Malcolm Wallace]

Bernard Pope <bjpop at cs.mu.OZ.AU> 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