On Fri, Sep 14, 2007 at 11:05:34AM +1000, Manuel M T Chakravarty wrote: > Just to complete transferring the discussion from the ephemeral hpaste to > the mailing list. My response to the lack of being able to display > normalised types was that GHC actually goes to considerable trouble to > preserve the original (non-normalised types) for error messages and other > output, as this usually makes these messages easier to understand (eg, you > usually rather like String than [Char] in an error message).
That's what they always say, but IME GHC's unpredictable mixing of expanded and unexpanded form is more confusing than a straight macro-expansion would be. What are the motivating examples (ideally I'd like a mailing list thread or paper citation)? Stefan
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
