[Haskell-cafe] Monad.Reader 8: Haskell, the new C++

[Stefan O'Rear]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070913/4705c615/attachment.bin