[Haskell-cafe] Bizarre GHC error.

David Banas capn.freako at gmail.com
Sun Aug 5 21:31:05 UTC 2018

Has anyone seen this kind of error from GHC?

dca9047d694f:concat-learn a594349$ stack build :lenna
concat-learn- build (lib + exe)
Preprocessing library concat-learn-
[6 of 6] Compiling ConCat.Learn.CNN.Conv ( src/ConCat/Learn/CNN/Conv.hs, .stack-work/dist/x86_64-osx/Cabal- )
user error (Unexpected result from the SMT solver:
  Expected: success
  Result: (error "line 1515 column 22: unknown constant tn_1" )

--  While building custom Setup.hs for package concat-learn- using:
      /Users/a594349/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-osx/Cabal- build lib:concat-learn exe:lenna --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1

I started seeing it when I started trying to use the someNatVal function.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180805/dd493383/attachment.html>

More information about the Haskell-Cafe mailing list