Problem with existential quantification

Eric

25 Sep 2008 25 Sep '08

1:15 p.m.

Dear all, I've written a function with the following type: build :: Bifunctor s => (forall b. (s a b -> b) -> b) -> Fix s a When I try to compile I get the following error: Illegal polymorphic or qualified type: forall b. (s a b -> b) -> b In the type signature for `build': build :: (Bifunctor s) => (forall b. (s a b -> b) -> b) -> Fix s a What's happening? E.M.

Show replies by date

David Menendez

25 Sep 25 Sep

4:44 p.m.

On Thu, Sep 25, 2008 at 1:15 PM, Eric wrote:

...

Dear all,

I've written a function with the following type:

build :: Bifunctor s => (forall b. (s a b -> b) -> b) -> Fix s a

When I try to compile I get the following error:

Illegal polymorphic or qualified type: forall b. (s a b -> b) -> b In the type signature for `build': build :: (Bifunctor s) => (forall b. (s a b -> b) -> b) -> Fix s a

What's happening?

That looks like it should work. I'm guessing you enabled ExistentialQuantification, but not Rank2Types or RankNTypes. The former allows you to use the forall keyword in data declarations, but you need one of the others to allow universal quantification in signatures, which is what build is using. This could be better documented. The GHC manual lists all the extensions it supports, but it doesn't use the same terminology as the Extension codes (e.g. "arbitrary-rank polymorphism" instead of "RankNTypes"), and there is a hierarchy of extensions that appears to be entirely implicit. For example, RankNTypes implies Rank2Types Rank2Types implies ExistentialQuantification Rank2Types implies PolymorphicComponents -- Dave Menendez http://www.eyrie.org/~zednenem/

Henning Thielemann

4:54 p.m.

On Thu, 25 Sep 2008, David Menendez wrote:

...

That looks like it should work. I'm guessing you enabled ExistentialQuantification, but not Rank2Types or RankNTypes. The former allows you to use the forall keyword in data declarations, but you need one of the others to allow universal quantification in signatures, which is what build is using.

This could be better documented. The GHC manual lists all the extensions it supports, but it doesn't use the same terminology as the Extension codes (e.g. "arbitrary-rank polymorphism" instead of "RankNTypes"), and there is a hierarchy of extensions that appears to be entirely implicit. For example,

RankNTypes implies Rank2Types Rank2Types implies ExistentialQuantification Rank2Types implies PolymorphicComponents

Something to add to http://www.haskell.org/haskellwiki/Rank-N_types ?

Eric

26 Sep 26 Sep

5:18 a.m.

Thanks! E. David Menendez wrote:

...

On Thu, Sep 25, 2008 at 1:15 PM, Eric wrote:

...
Dear all,

I've written a function with the following type:

build :: Bifunctor s => (forall b. (s a b -> b) -> b) -> Fix s a

When I try to compile I get the following error:

Illegal polymorphic or qualified type: forall b. (s a b -> b) -> b In the type signature for `build': build :: (Bifunctor s) => (forall b. (s a b -> b) -> b) -> Fix s a

What's happening?

That looks like it should work. I'm guessing you enabled ExistentialQuantification, but not Rank2Types or RankNTypes. The former allows you to use the forall keyword in data declarations, but you need one of the others to allow universal quantification in signatures, which is what build is using.

This could be better documented. The GHC manual lists all the extensions it supports, but it doesn't use the same terminology as the Extension codes (e.g. "arbitrary-rank polymorphism" instead of "RankNTypes"), and there is a hierarchy of extensions that appears to be entirely implicit. For example,

RankNTypes implies Rank2Types Rank2Types implies ExistentialQuantification Rank2Types implies PolymorphicComponents

6099

Age (days ago)

6100

Last active (days ago)

List overview

Download

3 comments

3 participants

participants (3)

David Menendez
Eric
Henning Thielemann