#2118: deriving for GRose
----------------------------------------------------+-----------------------
    Reporter:  alexey                               |       Owner:          
        Type:  bug                                  |      Status:  new     
    Priority:  normal                               |   Component:  Compiler
     Version:  6.8.2                                |    Severity:  normal  
    Keywords:  type classes, undecidable instances  |    Testcase:          
Architecture:  x86                                  |          Os:  MacOS X 
----------------------------------------------------+-----------------------
 GHC 6.6 used to be happy with the program below provided that i use
 "-fglasgow-exts -fallow-undecidable-instances"
 {{{
 data GRose ff a = GRose a (ff (GRose ff a))
 }}}
 The same program does NOT work with GHC 6.8, 6.8.1 and 6.8.2, even if I
 use the options "-fglasgow-exts -XUndecidableInstances". This is the error
 I get:
 {{{
     No instance for (Show (ff (GRose ff a)))
       arising from the 'deriving' clause of a data type declaration
                    at domotest.hs:2:0-56
     Possible fix:
       add an instance declaration for (Show (ff (GRose ff a)))
     When deriving the instance for (Show (GRose ff a))
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2118>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to