search

spinda / liquidhaskell-cabal

💧 Liquid Haskell integration for Cabal and Stack
BSD 3-Clause "New" or "Revised" License
24 stars 6 forks source link

liquid: fd:14: hGetLine: end of file #3

Closed bonds closed 8 years ago

bonds commented 8 years ago

Not sure what I did, I thought I had not changing anything, but one day it worked, and one day I started getting this error:

~/s/winot (lhc|✔) ❯❯❯ stack build --flag winot:liquidhaskell
winot-0.1.0.0: configure
[1 of 1] Compiling Main             ( /home/scott/src/winot/Setup.hs, /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/Main.o ) [LiquidHaskell.Cabal changed]
Linking /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup ...
/usr/local/lib/ghc/rts/libHSrts.a(RtsFlags.o): In function `copyArg':

rts/RtsFlags.c:1685:0:
     warning: warning: strcpy() is almost always misused, please use strlcpy()
/usr/local/lib/ghc/base_HQfYBxpPvuw8OunzQu6JGM/libHSbase-4.8.2.0-HQfYBxpPvuw8OunzQu6JGM.a(IO__1.o): In function `ghczuwrapperZC0ZCbaseZCSystemziIOZCrand':
(.text+0x1): warning: warning: rand() may return deterministic values, is that what you want?
/usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat()
/usr/local/lib/ghc/rts/libHSrts.a(RtsUtils.o): In function `showStgWord64':

rts/RtsUtils.c:204:0:
     warning: warning: sprintf() is often misused, please use snprintf()
Configuring winot-0.1.0.0...
winot-0.1.0.0: build
Linking /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup ...
/usr/local/lib/ghc/rts/libHSrts.a(RtsFlags.o): In function `copyArg':

rts/RtsFlags.c:1685:0:
     warning: warning: strcpy() is almost always misused, please use strlcpy()
/usr/local/lib/ghc/base_HQfYBxpPvuw8OunzQu6JGM/libHSbase-4.8.2.0-HQfYBxpPvuw8OunzQu6JGM.a(IO__1.o): In function `ghczuwrapperZC0ZCbaseZCSystemziIOZCrand':
(.text+0x1): warning: warning: rand() may return deterministic values, is that what you want?
/usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat()
/usr/local/lib/ghc/rts/libHSrts.a(RtsUtils.o): In function `showStgWord64':

rts/RtsUtils.c:204:0:
     warning: warning: sprintf() is often misused, please use snprintf()
Preprocessing library winot-0.1.0.0...
[ 1 of 15] Compiling Applicative      ( src/Applicative.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Applicative.o )
[ 2 of 15] Compiling Monad            ( src/Monad.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Monad.o )
[ 3 of 15] Compiling Debug            ( src/Debug.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Debug.o )
[ 4 of 15] Compiling Bool             ( src/Bool.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Bool.o )
[ 5 of 15] Compiling Show             ( src/Show.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Show.o )
[ 6 of 15] Compiling List             ( src/List.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/List.o )
[ 7 of 15] Compiling Unsafe           ( src/Unsafe.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Unsafe.o )
[ 8 of 15] Compiling Protolude        ( src/Protolude.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Protolude.o )
[ 9 of 15] Compiling World            ( src/World.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/World.o )
[10 of 15] Compiling Util             ( src/Util.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Util.o )
[11 of 15] Compiling Wlan             ( src/Wlan.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Wlan.o )
[12 of 15] Compiling Vpn              ( src/Vpn.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Vpn.o )
[13 of 15] Compiling Wwan             ( src/Wwan.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Wwan.o )
[14 of 15] Compiling Route            ( src/Route.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Route.o )
[15 of 15] Compiling Loop             ( src/Loop.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Loop.o )
In-place registering winot-0.1.0.0...
Preprocessing executable 'winot-exe' for winot-0.1.0.0...
[1 of 1] Compiling Main             ( app/Main.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/winot-exe/winot-exe-tmp/Main.o ) [Loop changed]
Linking .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/winot-exe/winot-exe ...
/usr/local/lib/ghc/rts/libHSrts_thr.a(RtsFlags.thr_o): In function `copyArg':

rts/RtsFlags.c:1685:0:
     warning: warning: strcpy() is almost always misused, please use strlcpy()
/usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat()
/usr/local/lib/ghc/rts/libHSrts_thr.a(RtsUtils.thr_o): In function `showStgWord64':

rts/RtsUtils.c:204:0:
     warning: warning: sprintf() is often misused, please use snprintf()
LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.

**** DONE:  Parsed All Specifications ******************************************

**** DONE:  Loaded Targets *****************************************************

**** DONE:  Extracted Core using GHC *******************************************

liquid: fd:14: hGetLine: end of file

--  While building package winot-0.1.0.0 using:
      /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup --builddir=.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0 build lib:winot exe:winot-exe --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1
~/s/winot (lhc|✔) ❯❯❯
spinda commented 8 years ago

Hi, sorry for the delay in responding! Looking into this now. Could you send the output of stack build -v --flag winot:liquidhaskell?

bonds commented 8 years ago

Here you are:

~/s/winot (master|✔) ❯❯❯ stack build -v --flag winot:liquidhaskell
Version 1.1.2 x86_64 hpack-0.14.0
2016-05-25 15:43:02.569660: [debug] Checking for project config at: /home/scott/src/winot/stack.yaml @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Config src/Stack/Config.hs:811:9)
2016-05-25 15:43:02.571250: [debug] Loading project config file stack.yaml @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Config src/Stack/Config.hs:829:13)
2016-05-25 15:43:02.574064: [debug] Trying to decode /home/scott/.stack/build-plan-cache/x86_64-openbsd/lts-5.18.cache @(stack_JU6T8nj4qG7EQPdctn8gnU:Data.Binary.VersionTagged src/Data/Binary/VersionTagged.hs:55:5)
2016-05-25 15:43:02.604828: [debug] Success decoding /home/scott/.stack/build-plan-cache/x86_64-openbsd/lts-5.18.cache @(stack_JU6T8nj4qG7EQPdctn8gnU:Data.Binary.VersionTagged src/Data/Binary/VersionTagged.hs:64:13)
2016-05-25 15:43:02.604985: [debug] Getting system compiler version @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Setup src/Stack/Setup.hs:341:17)
2016-05-25 15:43:02.605333: [debug] Run process: ghc --info @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.651498: [debug] Asking GHC for its version @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Setup.Installed src/Stack/Setup/Installed.hs:94:13)
2016-05-25 15:43:02.651715: [debug] Run process: ghc --numeric-version @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.665171: [debug] Getting Cabal package version @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.GhcPkg src/Stack/GhcPkg.hs:165:5)
2016-05-25 15:43:02.665430: [debug] Run process: ghc-pkg --no-user-package-db field --simple-output Cabal version @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.682414: [debug] Resolving package entries @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Setup src/Stack/Setup.hs:221:5)
2016-05-25 15:43:02.683681: [debug] Getting global package database location @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.GhcPkg src/Stack/GhcPkg.hs:48:5)
2016-05-25 15:43:02.683921: [debug] Run process: ghc-pkg --no-user-package-db list --global @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.767105: [debug] Run process: ghc-pkg --global --no-user-package-db dump --expand-pkgroot @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.801369: [debug] Ignoring package Cabal due to wanting version 1.22.8.0 instead of 1.22.5.0 @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Installed src/Stack/Build/Installed.hs:189:5)
2016-05-25 15:43:02.801685: [debug] Ignoring package haskeline due to wanting version 0.7.2.3 instead of 0.7.2.1 @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Installed src/Stack/Build/Installed.hs:189:5)
2016-05-25 15:43:02.802807: [debug] Ignoring package terminfo due to wanting version 0.4.0.2 instead of 0.4.0.1 @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Installed src/Stack/Build/Installed.hs:189:5)
2016-05-25 15:43:02.804194: [debug] Run process: ghc-pkg --user --no-user-package-db --package-db /home/scott/.stack/snapshots/x86_64-openbsd/lts-5.18/7.10.3/pkgdb dump --expand-pkgroot @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.873058: [debug] Run process: ghc-pkg --user --no-user-package-db --package-db /home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/pkgdb dump --expand-pkgroot @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:02.901741: [debug] Trying to decode /home/scott/.stack/indices/Hackage/00-index.cache @(stack_JU6T8nj4qG7EQPdctn8gnU:Data.Binary.VersionTagged src/Data/Binary/VersionTagged.hs:55:5)
2016-05-25 15:43:03.210162: [debug] Success decoding /home/scott/.stack/indices/Hackage/00-index.cache @(stack_JU6T8nj4qG7EQPdctn8gnU:Data.Binary.VersionTagged src/Data/Binary/VersionTagged.hs:64:13)
2016-05-25 15:43:03.240271: [debug] Getting global package database location @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.GhcPkg src/Stack/GhcPkg.hs:48:5)
2016-05-25 15:43:03.240403: [debug] Run process: ghc-pkg --no-user-package-db list --global @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:03.258369: [info] winot-0.1.0.0: unregistering (flags changed from [] to ["-fliquidhaskell"]) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:487:17)
2016-05-25 15:43:03.258553: [debug] Run process: ghc-pkg --no-user-package-db --package-db=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/pkgdb/ unregister --user --force --ipid winot-0.1.0.0-ebe8d0897fb061647f85f32fe4b938d4 @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:03.290781: [info] winot-0.1.0.0: configure @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:731:23)
2016-05-25 15:43:03.291841: [debug] Run process: /usr/local/bin/ghc --make -odir /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup -hidir /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup -i -i. -clear-package-db -global-package-db -package-db=/home/scott/.stack/snapshots/x86_64-openbsd/lts-5.18/7.10.3/pkgdb -package-db=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/pkgdb -hide-all-packages -package=Cabal-1.22.5.0 -package-id=array-0.5.1.0-960bf9ae8875cc30355e086f8853a049 -package-id=async-2.1.0-033e4fae4da028fc2d6502bd36e5e5a1 -package-id=base-4.8.2.0-8dd7859ce039df9f3d3f4ff9dbf4bb93 -package-id=bin-package-db-0.0.0.0-c2998655922e5892be4d23c583233dd1 -package-id=binary-0.7.5.0-623b5c82b24ad555874b44b934c389a3 -package-id=bytestring-0.10.6.0-8a126a308e25adafa4b7221965acccd5 -package-id=clock-0.6.0.1-e9809f95d391bb51c842c841febd8009 -package-id=containers-0.5.6.2-59326c33e30ec8f6afd574cbac625bbb -package-id=deepseq-1.4.1.1-614b63b36dd6e29d2b35afff57c25311 -package-id=directory-1.2.2.0-de5c44596f448d2b2988d8588c5afdef -package-id=extra-1.4.7-fcb124bb3a25d661ad896bfa3a25b8ce -package-id=filepath-1.4.0.0-f97d1e4aebfd7a03be6980454fe31d6e -package-id=ghc-prim-0.4.0.0-6cdc86811872333585fa98756aa7c51e -package-id=haskeline-0.7.2.1-6931ebdbcc80b8ada5d923048ba5ed89 -package-id=hoopl-3.10.0.2-e1d2f66d9c173061362d378e84471a99 -package-id=hpc-0.6.0.2-18b1cadc9642b8279af277b34b8dc9fe -package-id=hslogger-1.2.9-432a503621d68d276554a268634827c2 -package-id=htoml-0.1.0.3-48a20766404395338a9a059f77752926 -package-id=integer-gmp-1.0.0.0-3c8c40657a9870f5c33be17496806d8d -package-id=liquidhaskell-cabal-0.1.1.0-901730a49f5c19ead668dfabc6da2195 -package-id=monad-loops-0.4.3-a420cfb53d4bcdeafccf2f0f8ddf2541 -package-id=mtl-2.2.1-3af90341e75ee52dfc4e3143b4e5d219 -package-id=parsec-3.1.11-e05f413d59b2da035f99d08d0d39ae57 -package-id=pretty-1.1.2.0-5cc412214ea63f61ee84c4fbabdbe0ec -package-id=process-1.2.3.0-ca3fff48cdf67a08d7e3f92817538395 -package-id=safe-0.3.9-e3aa437cf6afe091d2ac3ab91bc10ddd -package-id=semiring-simple-1.0.0.1-926f40664047554b03281f7c2a7e75f1 -package-id=stm-2.4.4.1-7050c728ed5b2315e2c6b56d8bf9837f -package-id=string-conv-0.1-2ba7ca137437ae3c35293dc9f3be9c1d -package-id=string-conversions-0.4-4659bf2c1f3b5c50bc01aad38834aef9 -package-id=template-haskell-2.10.0.0-c7288e88d93340cb71c8be26e11aa4d4 -package-id=terminfo-0.4.0.1-ff5b3d5838955b7711e16ccc720f06f4 -package-id=text-1.2.2.1-ec4159f0ba0a5912a494b79bc2610c46 -package-id=text-icu-0.7.0.1-07aa051e656bd4696d9338784927539f -package-id=threads-0.5.1.3-2f4748da8d7a47e688904c011630faeb -package-id=time-1.5.0.1-1b9a502bb07a3e6f4d6935fbf9db7181 -package-id=transformers-0.4.2.0-81450cd8f86b36eaa8fa0cbaf6efc3a3 -package-id=unbounded-delays-0.1.0.9-8636ff14e3532228d9cf4bddb2b0654e -package-id=unix-2.7.1.0-5a50660ad24f11b222d9ab03451b0d1d -package-id=unordered-containers-0.2.5.1-efcb998195e61e370da9dd9c1bcddcff -package-id=xhtml-3000.2.1-e005917157f780654d68110616d034e8 /home/scott/src/winot/Setup.hs -o /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:03.371893: [info] [1 of 1] Compiling Main             ( /home/scott/src/winot/Setup.hs, /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/Main.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:03.446893: [info] Linking /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup ... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.693297: [warn] /usr/local/lib/ghc/rts/libHSrts.a(RtsFlags.o): In function `copyArg': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.693616: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.693803: [warn] rts/RtsFlags.c:1685:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.693875: [warn]      warning: warning: strcpy() is almost always misused, please use strlcpy() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.693990: [warn] /usr/local/lib/ghc/base_HQfYBxpPvuw8OunzQu6JGM/libHSbase-4.8.2.0-HQfYBxpPvuw8OunzQu6JGM.a(IO__1.o): In function `ghczuwrapperZC0ZCbaseZCSystemziIOZCrand': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.694052: [warn] (.text+0x1): warning: warning: rand() may return deterministic values, is that what you want? @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.694104: [warn] /usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.694157: [warn] /usr/local/lib/ghc/rts/libHSrts.a(RtsUtils.o): In function `showStgWord64': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.696534: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.696727: [warn] rts/RtsUtils.c:204:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.696975: [warn]      warning: warning: sprintf() is often misused, please use snprintf() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:17.718884: [debug] Run process: /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup --builddir=.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0 configure --with-ghc=/usr/local/bin/ghc --with-ghc-pkg=/usr/local/bin/ghc-pkg --user --package-db=clear --package-db=global --package-db=/home/scott/.stack/snapshots/x86_64-openbsd/lts-5.18/7.10.3/pkgdb --package-db=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/pkgdb --libdir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/lib --bindir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/bin --datadir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/share --libexecdir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/libexec --sysconfdir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/etc --docdir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/doc/winot-0.1.0.0 --htmldir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/doc/winot-0.1.0.0 --haddockdir=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/doc/winot-0.1.0.0 --dependency=async=async-2.1.0-033e4fae4da028fc2d6502bd36e5e5a1 --dependency=base=base-4.8.2.0-8dd7859ce039df9f3d3f4ff9dbf4bb93 --dependency=bytestring=bytestring-0.10.6.0-8a126a308e25adafa4b7221965acccd5 --dependency=clock=clock-0.6.0.1-e9809f95d391bb51c842c841febd8009 --dependency=containers=containers-0.5.6.2-59326c33e30ec8f6afd574cbac625bbb --dependency=deepseq=deepseq-1.4.1.1-614b63b36dd6e29d2b35afff57c25311 --dependency=extra=extra-1.4.7-fcb124bb3a25d661ad896bfa3a25b8ce --dependency=hslogger=hslogger-1.2.9-432a503621d68d276554a268634827c2 --dependency=htoml=htoml-0.1.0.3-48a20766404395338a9a059f77752926 --dependency=liquidhaskell-cabal=liquidhaskell-cabal-0.1.1.0-901730a49f5c19ead668dfabc6da2195 --dependency=monad-loops=monad-loops-0.4.3-a420cfb53d4bcdeafccf2f0f8ddf2541 --dependency=mtl=mtl-2.2.1-3af90341e75ee52dfc4e3143b4e5d219 --dependency=parsec=parsec-3.1.11-e05f413d59b2da035f99d08d0d39ae57 --dependency=process=process-1.2.3.0-ca3fff48cdf67a08d7e3f92817538395 --dependency=safe=safe-0.3.9-e3aa437cf6afe091d2ac3ab91bc10ddd --dependency=semiring-simple=semiring-simple-1.0.0.1-926f40664047554b03281f7c2a7e75f1 --dependency=stm=stm-2.4.4.1-7050c728ed5b2315e2c6b56d8bf9837f --dependency=string-conv=string-conv-0.1-2ba7ca137437ae3c35293dc9f3be9c1d --dependency=string-conversions=string-conversions-0.4-4659bf2c1f3b5c50bc01aad38834aef9 --dependency=text=text-1.2.2.1-ec4159f0ba0a5912a494b79bc2610c46 --dependency=text-icu=text-icu-0.7.0.1-07aa051e656bd4696d9338784927539f --dependency=threads=threads-0.5.1.3-2f4748da8d7a47e688904c011630faeb --dependency=transformers=transformers-0.4.2.0-81450cd8f86b36eaa8fa0cbaf6efc3a3 --dependency=unbounded-delays=unbounded-delays-0.1.0.9-8636ff14e3532228d9cf4bddb2b0654e --dependency=unix=unix-2.7.1.0-5a50660ad24f11b222d9ab03451b0d1d --dependency=unordered-containers=unordered-containers-0.2.5.1-efcb998195e61e370da9dd9c1bcddcff -fliquidhaskell --enable-tests --enable-benchmarks @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:18.387441: [info] Configuring winot-0.1.0.0... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:18.807146: [info] winot-0.1.0.0: build @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:731:23)
2016-05-25 15:43:18.807376: [debug] Run process: /usr/local/bin/ghc --make -odir /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup -hidir /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup -i -i. -clear-package-db -global-package-db -package-db=/home/scott/.stack/snapshots/x86_64-openbsd/lts-5.18/7.10.3/pkgdb -package-db=/home/scott/src/winot/.stack-work/install/x86_64-openbsd/lts-5.18/7.10.3/pkgdb -hide-all-packages -package=Cabal-1.22.5.0 -package-id=array-0.5.1.0-960bf9ae8875cc30355e086f8853a049 -package-id=async-2.1.0-033e4fae4da028fc2d6502bd36e5e5a1 -package-id=base-4.8.2.0-8dd7859ce039df9f3d3f4ff9dbf4bb93 -package-id=bin-package-db-0.0.0.0-c2998655922e5892be4d23c583233dd1 -package-id=binary-0.7.5.0-623b5c82b24ad555874b44b934c389a3 -package-id=bytestring-0.10.6.0-8a126a308e25adafa4b7221965acccd5 -package-id=clock-0.6.0.1-e9809f95d391bb51c842c841febd8009 -package-id=containers-0.5.6.2-59326c33e30ec8f6afd574cbac625bbb -package-id=deepseq-1.4.1.1-614b63b36dd6e29d2b35afff57c25311 -package-id=directory-1.2.2.0-de5c44596f448d2b2988d8588c5afdef -package-id=extra-1.4.7-fcb124bb3a25d661ad896bfa3a25b8ce -package-id=filepath-1.4.0.0-f97d1e4aebfd7a03be6980454fe31d6e -package-id=ghc-prim-0.4.0.0-6cdc86811872333585fa98756aa7c51e -package-id=haskeline-0.7.2.1-6931ebdbcc80b8ada5d923048ba5ed89 -package-id=hoopl-3.10.0.2-e1d2f66d9c173061362d378e84471a99 -package-id=hpc-0.6.0.2-18b1cadc9642b8279af277b34b8dc9fe -package-id=hslogger-1.2.9-432a503621d68d276554a268634827c2 -package-id=htoml-0.1.0.3-48a20766404395338a9a059f77752926 -package-id=integer-gmp-1.0.0.0-3c8c40657a9870f5c33be17496806d8d -package-id=liquidhaskell-cabal-0.1.1.0-901730a49f5c19ead668dfabc6da2195 -package-id=monad-loops-0.4.3-a420cfb53d4bcdeafccf2f0f8ddf2541 -package-id=mtl-2.2.1-3af90341e75ee52dfc4e3143b4e5d219 -package-id=parsec-3.1.11-e05f413d59b2da035f99d08d0d39ae57 -package-id=pretty-1.1.2.0-5cc412214ea63f61ee84c4fbabdbe0ec -package-id=process-1.2.3.0-ca3fff48cdf67a08d7e3f92817538395 -package-id=safe-0.3.9-e3aa437cf6afe091d2ac3ab91bc10ddd -package-id=semiring-simple-1.0.0.1-926f40664047554b03281f7c2a7e75f1 -package-id=stm-2.4.4.1-7050c728ed5b2315e2c6b56d8bf9837f -package-id=string-conv-0.1-2ba7ca137437ae3c35293dc9f3be9c1d -package-id=string-conversions-0.4-4659bf2c1f3b5c50bc01aad38834aef9 -package-id=template-haskell-2.10.0.0-c7288e88d93340cb71c8be26e11aa4d4 -package-id=terminfo-0.4.0.1-ff5b3d5838955b7711e16ccc720f06f4 -package-id=text-1.2.2.1-ec4159f0ba0a5912a494b79bc2610c46 -package-id=text-icu-0.7.0.1-07aa051e656bd4696d9338784927539f -package-id=threads-0.5.1.3-2f4748da8d7a47e688904c011630faeb -package-id=time-1.5.0.1-1b9a502bb07a3e6f4d6935fbf9db7181 -package-id=transformers-0.4.2.0-81450cd8f86b36eaa8fa0cbaf6efc3a3 -package-id=unbounded-delays-0.1.0.9-8636ff14e3532228d9cf4bddb2b0654e -package-id=unix-2.7.1.0-5a50660ad24f11b222d9ab03451b0d1d -package-id=unordered-containers-0.2.5.1-efcb998195e61e370da9dd9c1bcddcff -package-id=xhtml-3000.2.1-e005917157f780654d68110616d034e8 /home/scott/src/winot/Setup.hs -o /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:18.898864: [info] Linking /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup ... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313189: [warn] /usr/local/lib/ghc/rts/libHSrts.a(RtsFlags.o): In function `copyArg': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313443: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313658: [warn] rts/RtsFlags.c:1685:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313766: [warn]      warning: warning: strcpy() is almost always misused, please use strlcpy() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313833: [warn] /usr/local/lib/ghc/base_HQfYBxpPvuw8OunzQu6JGM/libHSbase-4.8.2.0-HQfYBxpPvuw8OunzQu6JGM.a(IO__1.o): In function `ghczuwrapperZC0ZCbaseZCSystemziIOZCrand': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313911: [warn] (.text+0x1): warning: warning: rand() may return deterministic values, is that what you want? @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.313997: [warn] /usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.314079: [warn] /usr/local/lib/ghc/rts/libHSrts.a(RtsUtils.o): In function `showStgWord64': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.320303: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.320787: [warn] rts/RtsUtils.c:204:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.320994: [warn]      warning: warning: sprintf() is often misused, please use snprintf() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.344995: [debug] Run process: /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup --builddir=.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0 build lib:winot exe:winot-exe --ghc-options " -ddump-hi -ddump-to-file" @(stack_JU6T8nj4qG7EQPdctn8gnU:System.Process.Read src/System/Process/Read.hs:283:3)
2016-05-25 15:43:33.442785: [info] Preprocessing library winot-0.1.0.0... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.678121: [info] [ 4 of 15] Compiling Unsafe           ( src/Unsafe.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Unsafe.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.787782: [info] [ 5 of 15] Compiling Monad            ( src/Monad.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Monad.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.830267: [info] [ 6 of 15] Compiling Debug            ( src/Debug.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Debug.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:33.952461: [info] [ 7 of 15] Compiling List             ( src/List.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/List.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:34.002651: [info] [ 8 of 15] Compiling Protolude        ( src/Protolude.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Protolude.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:34.216190: [info] [ 9 of 15] Compiling World            ( src/World.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/World.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:35.132896: [info] [10 of 15] Compiling Util             ( src/Util.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Util.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:36.029121: [info] [11 of 15] Compiling Wlan             ( src/Wlan.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Wlan.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:37.883602: [info] [12 of 15] Compiling Vpn              ( src/Vpn.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Vpn.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:39.058783: [info] [13 of 15] Compiling Wwan             ( src/Wwan.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Wwan.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:39.488914: [info] [14 of 15] Compiling Route            ( src/Route.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Route.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:39.788399: [info] [15 of 15] Compiling Loop             ( src/Loop.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/Loop.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:40.979896: [info] In-place registering winot-0.1.0.0... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:40.980100: [info] Preprocessing executable 'winot-exe' for winot-0.1.0.0... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:41.049775: [info] [1 of 1] Compiling Main             ( app/Main.hs, .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/winot-exe/winot-exe-tmp/Main.o ) @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:41.311697: [info] Linking .stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/build/winot-exe/winot-exe ... @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.750684: [warn] /usr/local/lib/ghc/rts/libHSrts_thr.a(RtsFlags.thr_o): In function `copyArg': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.751077: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.751691: [warn] rts/RtsFlags.c:1685:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.751784: [warn]      warning: warning: strcpy() is almost always misused, please use strlcpy() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.751870: [warn] /usr/local/lib/libicuuc.so.9.0: warning: warning: strcat() is almost always misused, please use strlcat() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.751952: [warn] /usr/local/lib/ghc/rts/libHSrts_thr.a(RtsUtils.thr_o): In function `showStgWord64': @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.754750: [warn]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.755225: [warn] rts/RtsUtils.c:204:0: @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:46.755404: [warn]      warning: warning: sprintf() is often misused, please use snprintf() @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:47.136791: [info] LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved. @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:47.137024: [info]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:47.137161: [info]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:47.137255: [info] **** DONE:  Parsed All Specifications ****************************************** @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:47.137345: [info]   @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.598767: [info]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.598968: [info] **** DONE:  Loaded Targets ***************************************************** @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.599088: [info]   @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.813989: [info]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.814178: [info] **** DONE:  Extracted Core using GHC ******************************************* @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.814334: [info]   @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:48.990045: [warn] liquid: fd:14: hGetLine: end of file @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)
2016-05-25 15:43:49.097709: [info]  @(stack_JU6T8nj4qG7EQPdctn8gnU:Stack.Build.Execute src/Stack/Build/Execute.hs:911:67)

--  While building package winot-0.1.0.0 using:
      /home/scott/src/winot/.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0/setup/setup --builddir=.stack-work/dist/x86_64-openbsd/Cabal-1.22.5.0 build lib:winot exe:winot-exe --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1
~/s/winot (master|✔) ❯❯❯                            Wed May 25 15:43:49 PDT 2016
spinda commented 8 years ago

Thanks!

So LiquidHaskell generates constraints from your source files, then passes those constraints to the liquid-fixpoint library, which in turn feeds them into a z3 solver process. It then reads back the z3 output from the process's stdout. I suspect what's happening is that the z3 process is terminating unexpectedly, and then when liquid-fixpoint tries to read from its stdout, hGetLine throws this error.

First, could you please double check that the z3 command is still in your $PATH and is executable?

Then, LiquidHaskell logs the z3 output and other data to a .liquid directory somewhere in your project directory. (You should be able to find it with find -type d -name '.liquid'.) If you could zip that up and attach it here, that would help a lot. The output of stack build -v --cabal-verbose --flags winot:liquidhaskell would also be useful.

The issue might actually be file corruption somewhere in the .liquid directory. After zipping it up, deleting it or moving it somewhere else could fix this, at least temporarily.

bonds commented 8 years ago

That must be it, I installed a new python version but didn't update my build of z3:

~/s/z3 (master|✔) ❯❯❯ z3                            Wed May 25 16:36:26 PDT 2016
pyenv: version `3.6.0a1:2.7.11' is not installed (set by PYENV_VERSION environment variable)
~/s/z3 (master|✔) ❯❯❯                               Wed May 25 16:36:27 PDT 2016

That error seems to mean that z3 isn't installed for the versions of python I have enabled, though the message is not so great for that. Filed a bug on that: https://github.com/yyuu/pyenv/issues/610

I use Ansible to manage and update my workstation and Pyenv to manage my python versions. I recently upgraded my Python versions, but I neglected to reinstall z3. I was using which z3 to decide whether to do that, but I need to use which z3 && z3 to make certain that I both have the Pyenv shim and it works.

After installing z3 for the new versions of Python I installed, liquid works again. So, yay, user error. I don't know whether it would be worth it, but I suppose you could check to see if z3 works and give a more descriptive error. Or not, not sure how many people will trip over themselves like I did. ;)

spinda commented 8 years ago

Hooray! Glad the fix was simple.

liquid-fixpoint should definitely handle this better. I've opened an issue over there about this: https://github.com/ucsd-progsys/liquid-fixpoint/issues/231