[Haskell-cafe] Bizarre GHC error.

Brandon Allbery allbery.b at gmail.com
Sun Aug 5 21:42:49 UTC 2018


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 <capn.freako at gmail.com> 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 at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180805/53c551c4/attachment.html>


More information about the Haskell-Cafe mailing list