[Haskell-cafe] Bizarre GHC error.

[David Banas]

Has anyone seen this kind of error from GHC?

dca9047d694f:concat-learn a594349$ stack build :lenna
concat-learn-0.2.0.0: build (lib + exe)
Preprocessing library concat-learn-0.2.0.0...
[6 of 6] Compiling ConCat.Learn.CNN.Conv ( src/ConCat/Learn/CNN/Conv.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/ConCat/Learn/CNN/Conv.o )
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-0.2.0.0 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-1.24.2.0 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>