[GHC] #7214: Missing Typeable instances

GHC cvs-ghc at haskell.org
Tue Sep 4 03:06:24 CEST 2012


#7214: Missing Typeable instances
---------------------------------+------------------------------------------
    Reporter:  selinger          |        Owner:                  
        Type:  bug               |       Status:  closed          
    Priority:  normal            |    Component:  libraries/base  
     Version:  7.4.1             |   Resolution:  invalid         
    Keywords:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |      Failure:  Other           
    Testcase:                    |    Blockedby:                  
    Blocking:                    |      Related:                  
---------------------------------+------------------------------------------
Changes (by selinger):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 OK, two seconds after submitting this report, I found out how to do it.
 Sorry about that. For the record:

 import Data.Typeable

 instance (Typeable a, Typeable b, Typeable c, Typeable d, Typeable e,
 Typeable f, Typeable g, Typeable h) => Typeable (a,b,c,d,e,f,g,h) where
   typeOf (a,b,c,d,e,f,g,h) =
     mkTyCon3 "GHC" "Tuple" "(,,,,,,,)" `mkTyConApp` [ typeOf a, typeOf b,
 typeOf c, typeOf d, typeOf e, typeOf f, typeOf g, typeOf h ]

 Part of the problem was that myTyCon has a different type in
 Data.Typeable.Internal than Data.Typeable. But I was just sitting on my
 brain. Sorry about that.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7214#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the Glasgow-haskell-bugs mailing list