j
k
j a
j l
Bernard Pope writes:
......Just foo = undefined In Hat do you desugar the above code to: v = undefined foo = (\Just x -> x) v
...Just foo = undefined
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
Back to the thread
Back to the list