Hi Simon, I'm working on implementing the kind-polymorphic Typeable. I've branched the compiler and base repos into new-typeable. Currently I'm getting the following error:
libraries/base/Data/Typeable/Internal.hs:213:7: > Class `Typeable' has conflicting definitions in the module and its > hs-boot file > Main module: class Typeable (k::BOX) (a::k) > RecFlag Recursive > typeRep :: Proxy k a -> TypeRep > Boot file: class Typeable (k::BOX) (a::k) > RecFlag NonRecursive > typeRep :: Proxy k a -> TypeRep > make[1]: *** [libraries/base/dist-install/build/Data/Typeable/Internal.o] > Error 1 > Why is this? I don't see why Typeable should be recursive, nor do I see how to make it recursive on the hs-boot file... Thanks, Pedro
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
