search

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

Compile Error with 7.8.2 #9

Closed crockeea closed 10 years ago

crockeea commented 10 years ago

Per issue #8, I'm trying to use Data.Type.Equality from base-4.7.0.0 write the suggested TypeEq instance. This required an upgrade to GHC 7.8.2 (from 7.6.2). I got the following error while trying to install the syntactic-master branch:

src/Data/Syntactic/Sugar.hs:70:7:
    Illegal type synonym family application in instance:
       AST (Domain a) (Full (Internal a)) -> fi
    In the instance declaration for
       ‘SyntacticN (a -> f) (AST (Domain a) (Full (Internal a)) -> fi)’

Any ideas?

emwap commented 10 years ago

Could you provide the output of

$ cabal --version $ ghc --version

I have

$ cabal --version cabal-install version 1.20.0.0 using version 1.20.0.0 of the Cabal library $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.8.2

The following sequence works for me:

$ git clone https://github.com/emilaxelsson/syntactic $ cabal sandbox init $ cabal install --only-dep $ cabal test

crockeea commented 10 years ago

Gah, it was some Linux trickery going on. Thanks!