Branch new-typeable: conflicting definitions for class Typeable

[José Pedro Magalhães]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/cvs-ghc/attachments/20120926/913ded33/attachment.htm>