06 21:06
| To: Simon Peyton-Jones
| Cc: GHC Users Mailing List
| Subject: Re: class declaration in boot file
|
| (I forgot to say, this was with 6.4.2.)
|
| Another problem I'm having is that when I consume a datatype, its
| derived instances aren't available; and even in an hs-boot
Sent: 11 August 2006 21:06
| To: Simon Peyton-Jones
| Cc: GHC Users Mailing List
| Subject: Re: class declaration in boot file
|
| (I forgot to say, this was with 6.4.2.)
|
| Another problem I'm having is that when I consume a datatype, its
| derived instances aren't available; and e
#x27;t put a class
> decl in the hs-boot file with the version of the compiler you have.
>
> Simon
>
> | -Original Message-
> | From: [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED]
> | On Behalf Of Gaal Yahas
> | Sent: 09 August 2006 18:25
> | To: GHC Users Mail
in the hs-boot file with the version of the compiler you have.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]
| On Behalf Of Gaal Yahas
| Sent: 09 August 2006 18:25
| To: GHC Users Mailing List
| Subject: class declaration in boot file
|
| I'
I'm trying to solve a circularity problem with .hs-boot, but am getting
the error: "Illegal class declaration in hs-boot file".
The offending declaration is:
class (Monad m, Functor m, Eq a, Data a, Typeable a) => ICoercible m a | a -> m
I've tried with and without the fundeps. Data and Typeable
