On Apr 12, 2007, at 3:00 PM, Stefan O'Rear wrote: > Also, GHC runs typechecking *before* desugaring, apparently > thinking error messages > are more important than programmer sanity :) What would be the benefit of running type checking after desugaring? -- http://wagerlabs.com/