Fix for building Data.Aeson.TH with GHC-6.12.3 #52

Merged
merged 1 commit into from Nov 30, 2011

Conversation

Projects
None yet
2 participants
Collaborator

basvandijk commented Nov 30, 2011

When quoting an expression with a higher ranked type in GHC-6.12.3 like:

[e|V.create :: (forall s. GHC.ST.ST s (Data.Vector.Mutable.MVector s a))
            -> Data.Vector.Vector a|] `appE` ...

the following error is thrown:

    Cannot match a monotype with `(forall s.
                                   GHC.ST.ST s (Data.Vector.Mutable.MVector s a))
                                  -> Data.Vector.Vector a'
    Probable cause: `V.create' is applied to too few arguments

The solution is not to quote the expression but to quote the name instead and manually turn it into a variable.

@basvandijk basvandijk Fix for building Data.Aeson.TH with GHC-6.12.3.
When quoting an expression with a higher ranked type in GHC-6.12.3 like:

[e|V.create :: (forall s. GHC.ST.ST s (Data.Vector.Mutable.MVector s a))
            -> Data.Vector.Vector a|] `appE` ...

the following error is thrown:

    Cannot match a monotype with `(forall s.
                                   GHC.ST.ST s (Data.Vector.Mutable.MVector s a))
                                  -> Data.Vector.Vector a'
    Probable cause: `V.create' is applied to too few arguments

The solution is not to quote the expression but to quote the name instead
and manually turn it into a variable.
d966e62

bos merged commit 8a68b66 into bos:master Nov 30, 2011

Owner

bos commented Nov 30, 2011

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment