Branch new-typeable: conflicting definitions for class Typeable

[Simon Peyton-Jones]

The code is in TcRnDriver about line 764.   No comparison of the "recflag" which is indeed a not-very-well-defined beast.

I'd do -dppr-debug to check that unique are ok.  The rnBndrs2 stuff is meant to deal with alpha-renaming.

Simon

From: josepedromagalhaes at gmail.com [mailto:josepedromagalhaes at gmail.com] On Behalf Of José Pedro Magalhães
Sent: 26 September 2012 14:12
To: Simon Peyton-Jones
Cc: cvs-ghc at haskell.org
Subject: Branch new-typeable: conflicting definitions for class Typeable

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/b3f5c180/attachment.htm>