...

...

Exception thrown Writing: hs.out_lint-before-Boxy WorkWrap.jhc_core Stack:

Hello all, I'm using JHC for a small research project and I've run across the following bug when compiling a very simple program: module Main where import Test.QuickCheck foo_prop x = True main = do quickCheck foo_prop When compiling with the command `jhc -p QuickCheck Main.hs`, the compiler will crash with the following error message: JGC DETECTED JGC DETECTED jhc -p QuickCheck Main.hs jhc 0.8.2 (mydniquipepo-32) Finding Dependencies... Using Ho Cache: '/home/mario/.jhc/cache' Main [Main.hs] Typechecking... [1 of 1] Main (.............................................) Compiling... [1 of 1] Main <.................................wwwwwwwww........> Collected Compilation... -- TypeAnalyzeMethods -- BoxifyProgram -- Boxy WorkWrap transformProgram: Boxy WorkWrap jhc: Pattern match failure in do expression at src/E/Demand.hs:287:13-28 Is this a known bug? Is there any workaround? Thanks for your time. -- Now I do not know whether I was then a lambda expression emulating a Turing machine, or whether I am a Turing machine emulating a lambda expression.