Re: Branch new-typeable: conflicting definitions for class Typeable

On Wed, Sep 26, 2012 at 3:35 PM, Simon Peyton-Jones
<[email protected]>wrote:

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

I don't quite understand, sorry; are you telling me that I should change
this so that the RecFlag is not compared?


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

All seems equal to me, apart from this RecFlag:

libraries/base/Data/Typeable/Internal.hs:213:7:
>     Class `base:Data.Typeable.Internal.Typeable{tc 2k}' has conflicting
> definitions in the module and its hs-boot file
>     Main module: class Typeable{tc} (k::ghc-prim:GHC.Prim.BOX{(w) tc 347})
>                                     (a::k)
>                      RecFlag Recursive
>                      typeRep{v} :: base:Data.Typeable.Internal.Proxy{tc
> ryo} k a
>                                    ->
> base:Data.Typeable.Internal.TypeRep{tc ryl}
>     Boot file:   class Typeable{tc} (k::ghc-prim:GHC.Prim.BOX{(w) tc 347})
>                                     (a::k)
>                      RecFlag NonRecursive
>                      typeRep{v} :: base:Data.Typeable.Internal.Proxy{tc
> ryo} k a
>                                    ->
> base:Data.Typeable.Internal.TypeRep{tc ryl}
>

Cheers,
Pedro


> ****
>
> ** **
>
> Simon****
>
> ** **
>
> *From:* [email protected] [mailto:[email protected]]
> *On Behalf Of *José Pedro Magalhães
> *Sent:* 26 September 2012 14:12
> *To:* Simon Peyton-Jones
> *Cc:* [email protected]
> *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****
>

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc