[Haskell-cafe] Trouble finding exception source
judah.jacobson at gmail.com
Wed Feb 27 02:01:56 EST 2008
I was unable to run your program; it looks like there's a missing
module 'Properties'. To include it in the sdist you probably need to
add it under the other-modules field in the .cabal file.
2008/2/26 Denis Bueno <dbueno at gmail.com>:
> Hi all,
> I've got some code crashing with "Prelude.foldr1: empty list". In
> GHCi, the code uses too much memory (I kill it after it consumes 1GB)
> to be able to use :trace and :history, but I just found out about the
> -xc RTS option. I tried that, and I get the following:
> <GHC.List.CAF>dsat: Prelude.foldr1: empty list
> Now, manually going through GHC.List
> I only found one CAF, namely prel_list_str, at the bottom of the file.
> However, it is late and I quite possibly missed something. This CAF,
> of course, doesn't seem a likely culprit. I also stumbled on some
> discussion of the explicit call stack
> which exemplifies the behavior I've found, but doesn't seem to suggest
> a way to fix it.
> I'm developing on GHC 6.8.2. I've attached my code, the output of a
> cabal sdist, which requires parse-dimacs  and bitset  (both
> cabalised) to build. If you build the executable (with profiling),
> you should see my behavior by running:
> ./dist/build/dsat/dsat -verify +RTS -xc
> I know that the problem is somewhere in the "Backtracking" section, in
> the backJump function. But I don't know where.
> Any help is appreciated.
>  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parse-dimacs-1.0.1
>  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bitset-0.5
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe