It's using a GHC plugin that uses an SMT solver for Nat constraints, and the solver threw an error. You may need to talk to the author of the solver plugin. On Sun, Aug 5, 2018 at 5:31 PM David Banas wrote:

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.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

-- brandon s allbery kf8nh allbery.b@gmail.com