• simonpj's avatar
    [project @ 2004-04-02 16:46:57 by simonpj] · 40888e1d
    simonpj authored
    Extend the "newtype deriving" feature a little bit more
    (at the request of Wolfgang Jeltsch)
    
    Here's the example:
        class C a b
        instance C [a] Char
        newtype T = T Char deriving( C [a] )
    
    Perfectly sensible, and no reason it should not work.
    Fixing this required me to generalise the abstract syntax of
    a 'deriving' item, hence the non-local effects.
    40888e1d
HsDecls.lhs 24.4 KB