[Haskell-cafe] ghc 7.2.1 Generics problem

Magicloud Magiclouds

unread,

Nov 1, 2011, 1:07:28 AM11/1/11

to haskell-cafe

Hi,
I do not know why, my ghc 7.2.1 does not seem to support
DeriveRepresentable. I compiled the ghc 7.2.1 myself by ghc 7.0.4. All
options default.

$ ghc Types/TopTalkerRecord.hs

Types/TopTalkerRecord.hs:2:14:
Unsupported extension: DeriveRepresentable

$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.2.1
--
竹密岂妨流水过
山高哪阻野云飞

_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Andres Löh

unread,

Nov 1, 2011, 1:59:23 AM11/1/11

to Magicloud Magiclouds, haskell-cafe

Hi.

> I do not know why, my ghc 7.2.1 does not seem to support
> DeriveRepresentable. I compiled the ghc 7.2.1 myself by ghc 7.0.4. All
> options default.
>
> $ ghc Types/TopTalkerRecord.hs
>
> Types/TopTalkerRecord.hs:2:14:
> Unsupported extension: DeriveRepresentable

There's no extension of that name in 7.2.1. Do you mean DeriveGeneric?

Cheers,
Andres

Ivan Lazar Miljenovic

unread,

Nov 1, 2011, 1:59:17 AM11/1/11

to Magicloud Magiclouds, haskell-cafe

On 1 November 2011 16:07, Magicloud Magiclouds

<magicloud....@gmail.com> wrote:
> Hi,
> I do not know why, my ghc 7.2.1 does not seem to support
> DeriveRepresentable. I compiled the ghc 7.2.1 myself by ghc 7.0.4. All
> options default.
>
> $ ghc Types/TopTalkerRecord.hs
>
> Types/TopTalkerRecord.hs:2:14:
> Unsupported extension: DeriveRepresentable
>
> $ ghc --version
> The Glorious Glasgow Haskell Compilation System, version 7.2.1

All I can find about DeriveRepresentable is a patch submitted in April
[1]. However, it seems [2] that it has been renamed to DeriveGenerics

[1]: http://www.haskell.org/pipermail/cvs-ghc/2011-April/061666.html
[2]: http://code.galois.com/cgi-bin/gitweb?p=type-naturals/base.git;a=commitdiff;h=792a8b86185d4cc74bb3d0d31b481ff0de4cf0d6

--
Ivan Lazar Miljenovic
Ivan.Mi...@gmail.com
IvanMiljenovic.wordpress.com

Magicloud Magiclouds

unread,

Nov 1, 2011, 5:33:35 AM11/1/11

to Andres Löh, Ivan Miljenovic, haskell-cafe

On Tue, Nov 1, 2011 at 1:59 PM, Andres Löh <andre...@googlemail.com> wrote:
> Hi.
>
>> I do not know why, my ghc 7.2.1 does not seem to support
>> DeriveRepresentable. I compiled the ghc 7.2.1 myself by ghc 7.0.4. All
>> options default.
>>
>> $ ghc Types/TopTalkerRecord.hs
>>
>> Types/TopTalkerRecord.hs:2:14:
>> Unsupported extension: DeriveRepresentable
>
> There's no extension of that name in 7.2.1. Do you mean DeriveGeneric?
>
> Cheers,
> Andres
>

I do not know. I will try that.
I got the name from http://www.haskell.org/haskellwiki/Generics.

--
竹密岂妨流水过
山高哪阻野云飞

José Pedro Magalhães

unread,

Nov 1, 2011, 5:36:00 AM11/1/11

to Magicloud Magiclouds, Andres Löh, Ivan Miljenovic, haskell-cafe

Oh, right, I see that some things on that page need updating; I'll do so.

Thanks,

Pedro

Magicloud Magiclouds

unread,

Nov 3, 2011, 3:17:43 AM11/3/11

to José Pedro Magalhães, Andres Löh, Ivan Miljenovic, haskell-cafe

2011/11/1 José Pedro Magalhães <j...@cs.uu.nl>:

Thank you. I saw the page was updated.
So I followed the document. And got stuck again.

Copying the code and compile, I got:

25instance (GSerialize a) => GSerialize (M1 i a) where
26 gput (M1 x) = gput x

test.hs:25:40:
`M1 i a' is not applied to enough type arguments
The first argument of `GSerialize' should have kind `* -> *',
but `M1 i a' has kind `(* -> *) -> * -> *'
In the instance declaration for `GSerialize (M1 i a)'

José Pedro Magalhães

unread,

Nov 3, 2011, 4:40:05 AM11/3/11

to Magicloud Magiclouds, haskell-cafe

Thanks, you spotted another mistake on that page, I corrected it.

Make sure to have a look at the functions in http://hackage.haskell.org/package/generic-deriving too; I'm sure those compile :-)

Pedro

2011/11/3 Magicloud Magiclouds <magicloud....@gmail.com>

Reply all

Reply to author

Forward