[jhc] Internal pattern match failure when using QuickCheck

[Mario Alvarez Picallo]

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

>>> Exception thrown
Writing: hs.out_lint-before-Boxy WorkWrap.jhc_core
Stack:
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/jhc/attachments/20150507/5a712044/attachment.html>