search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.2k stars 139 forks source link

`cabal install liquid-platform` fail #1836

Closed Erhannis closed 5 months ago

Erhannis commented 3 years ago

When I run cabal install liquid-platform, I (eventually) get the following error:

[1 of 1] Compiling Main             ( /tmp/cabal-install.-2509/dist-newstyle/tmp/src-2510/liquid-prelude-0.8.10.2/dist/setup/setup.hs, /tmp/cabal-install.-2509/dist-newstyle/tmp/src-2510/liquid-prelude-0.8.10.2/dist/setup/Main.o )
Linking /tmp/cabal-install.-2509/dist-newstyle/tmp/src-2510/liquid-prelude-0.8.10.2/dist/setup/setup ...
Configuring liquid-prelude-0.8.10.2...
Preprocessing library for liquid-prelude-0.8.10.2..
Building library for liquid-prelude-0.8.10.2..
[ 1 of 11] Compiling Language.Haskell.Liquid.Bag ( src/Language/Haskell/Liquid/Bag.hs, dist/build/Language/Haskell/Liquid/Bag.o, dist/build/Language/Haskell/Liquid/Bag.dyn_o )

**** LIQUID: SAFE (3 constraints checked) **************************************
[ 2 of 11] Compiling Language.Haskell.Liquid.Equational ( src/Language/Haskell/Liquid/Equational.hs, dist/build/Language/Haskell/Liquid/Equational.o, dist/build/Language/Haskell/Liquid/Equational.dyn_o )

**** LIQUID: SAFE (3 constraints checked) **************************************
[ 3 of 11] Compiling Language.Haskell.Liquid.Foreign ( src/Language/Haskell/Liquid/Foreign.hs, dist/build/Language/Haskell/Liquid/Foreign.o, dist/build/Language/Haskell/Liquid/Foreign.dyn_o )

**** LIQUID: SAFE (4 constraints checked) **************************************
[ 4 of 11] Compiling Language.Haskell.Liquid.List ( src/Language/Haskell/Liquid/List.hs, dist/build/Language/Haskell/Liquid/List.o, dist/build/Language/Haskell/Liquid/List.dyn_o )

**** LIQUID: SAFE (0 constraints checked) **************************************
[ 5 of 11] Compiling Language.Haskell.Liquid.Prelude ( src/Language/Haskell/Liquid/Prelude.hs, dist/build/Language/Haskell/Liquid/Prelude.o, dist/build/Language/Haskell/Liquid/Prelude.dyn_o )

**** LIQUID: SAFE (52 constraints checked) *************************************
[ 6 of 11] Compiling KMeansHelper     ( src/KMeansHelper.hs, dist/build/KMeansHelper.o, dist/build/KMeansHelper.dyn_o )

**** LIQUID: SAFE (149 constraints checked) ************************************
[ 7 of 11] Compiling Language.Haskell.Liquid.ProofCombinators ( src/Language/Haskell/Liquid/ProofCombinators.hs, dist/build/Language/Haskell/Liquid/ProofCombinators.o, dist/build/Language/Haskell/Liquid/ProofCombinators.dyn_o )

**** LIQUID: SAFE (5 constraints checked) **************************************
[ 8 of 11] Compiling Language.Haskell.Liquid.RTick ( src/Language/Haskell/Liquid/RTick.hs, dist/build/Language/Haskell/Liquid/RTick.o, dist/build/Language/Haskell/Liquid/RTick.dyn_o )

**** LIQUID: ERROR :1:1-1:1: Error
  crash: SMTLIB2 respSat = Error "line 30 column 20: invalid sort parameter, symbol or ')' expected" 

cabal: Failed to build liquid-prelude-0.8.10.2 (which is required by
exe:liquidhaskell from liquid-platform-0.8.10.2). See the build log above for
details.

Debian 10 (64 bit) GHC 8.10.2 Z3 4.4.1

timmyjose commented 3 years ago

Same issue, different reasons here (macOS Mojave):

~:$ cabal install liquid-platform
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: liquid-platform-0.8.10.2 (user goal)
[__1] trying: process-1.6.9.0/installed-1.6.9.0 (dependency of
liquid-platform)
[__2] trying: base-4.14.2.0/installed-4.14.2.0 (dependency of process)
[__3] trying: liquid-vector-0.12.1.2 (dependency of liquid-platform)
[__4] next goal: liquid-base (dependency of liquid-platform)
[__4] rejecting: liquid-base-4.15.0.0 (conflict: liquid-vector =>
liquid-base<4.15)
[__4] rejecting: liquid-base-4.14.1.0 (conflict: process =>
base==4.14.2.0/installed-4.14.2.0, liquid-base => base==4.14.1.0)
[__4] rejecting: liquid-base-4.14.0.0 (conflict: liquid-platform =>
liquid-base>=4.14.1.0 && <5)
[__4] fail (backjumping, conflict set: liquid-base, liquid-platform,
liquid-vector, process)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: base, liquid-base, liquid-platform,
process, liquid-vector

So I don't even reach the part where it has to bother about Z3.

GHC and cabal details:

~:$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.10.5
~:$ cabal --version
cabal-install version 3.4.0.0
compiled using version 3.4.0.0 of the Cabal library
~:$

To be fair, I've never had much success making cabal work on macOS except for the barest, lightest, dependency-light libraries. It's an embarrassment of a tool.

facundominguez commented 5 months ago

We removed liquid-platform since this ticket was created.