How to install liquid haskell in ubuntu 18.04?

711 views Asked by At

I am struggling to install liquid Haskell in Ubuntu 18.04. I have tried few commands to install the dependencies and now getting the error in the final compilation of liquid Haskell.

I am using following command for the installation:

cabal install liquidhaskell

The error that I am getting is:

cabal install liquidhaskell
Resolving dependencies...
Configuring liquidhaskell-0.8.0.5...
Building liquidhaskell-0.8.0.5...
Failed to install liquidhaskell-0.8.0.5
Build log ( /home/baber/.cabal/logs/liquidhaskell-0.8.0.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-1752/liquidhaskell-0.8.0.5'
Configuring liquidhaskell-0.8.0.5...
Building liquidhaskell-0.8.0.5...
Preprocessing library liquidhaskell-0.8.0.5...
[  1 of 106] Compiling Test.Target.Expr ( src/Test/Target/Expr.hs, dist/build/Test/Target/Expr.o )
[  2 of 106] Compiling Paths_liquidhaskell ( dist/build/autogen/Paths_liquidhaskell.hs, dist/build/Paths_liquidhaskell.o )
[  3 of 106] Compiling Language.Haskell.Liquid.UX.Config ( src/Language/Haskell/Liquid/UX/Config.hs, dist/build/Language/Haskell/Liquid/UX/Config.o )
[  4 of 106] Compiling Language.Haskell.Liquid.Types.Variance ( src/Language/Haskell/Liquid/Types/Variance.hs, dist/build/Language/Haskell/Liquid/Types/Variance.o )
[  5 of 106] Compiling Language.Haskell.Liquid.Types.Specifications ( src/Language/Haskell/Liquid/Types/Specifications.hs, dist/build/Language/Haskell/Liquid/Types/Specifications.o )
[  6 of 106] Compiling Language.Haskell.Liquid.Types.Names ( src/Language/Haskell/Liquid/Types/Names.hs, dist/build/Language/Haskell/Liquid/Types/Names.o )
[  7 of 106] Compiling Language.Haskell.Liquid.ProofCombinators ( include/Language/Haskell/Liquid/ProofCombinators.hs, dist/build/Language/Haskell/Liquid/ProofCombinators.o )
[  8 of 106] Compiling Language.Haskell.Liquid.Prelude ( include/Language/Haskell/Liquid/Prelude.hs, dist/build/Language/Haskell/Liquid/Prelude.o )
[  9 of 106] Compiling Language.Haskell.Liquid.Misc ( src/Language/Haskell/Liquid/Misc.hs, dist/build/Language/Haskell/Liquid/Misc.o )

src/Language/Haskell/Liquid/Misc.hs:224:14: error:
    Ambiguous occurrence ‘=>>’
    It could refer to either ‘Language.Fixpoint.Misc.=>>’,
                             imported from ‘Language.Fixpoint.Misc’ at src/Language/Haskell/Liquid/Misc.hs:24:1-39
                          or ‘Language.Haskell.Liquid.Misc.=>>’,
                             defined at src/Language/Haskell/Liquid/Misc.hs:221:1
cabal: Leaving directory '/tmp/cabal-tmp-1752/liquidhaskell-0.8.0.5'
cabal: Error: some packages failed to install:
liquidhaskell-0.8.0.5 failed during the building phase. The exception was:
ExitFailure 1

I tried by downgrading the liquidhaskell version to 7 and 6 as well but no luck. Can someone please help me in the installation?

I appreciate your help and time in advance.

Thanks.

0

There are 0 answers