<div dir="ltr">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:<div><br><div><div><font face="monospace, monospace">module Main where</font></div><div><font face="monospace, monospace">import Test.QuickCheck</font></div><div><font face="monospace, monospace">foo_prop x = True</font></div><div><font face="monospace, monospace">main = do</font></div><div><font face="monospace, monospace">  quickCheck foo_prop</font></div></div><div><br></div><div>When compiling with the command `jhc -p QuickCheck Main.hs`, the compiler will crash with the following error message:</div><div><br></div><div><div><font face="monospace, monospace">JGC DETECTED</font></div><div><font face="monospace, monospace">JGC DETECTED</font></div><div><font face="monospace, monospace">jhc -p QuickCheck Main.hs</font></div><div><font face="monospace, monospace">jhc 0.8.2 (mydniquipepo-32)</font></div><div><font face="monospace, monospace">Finding Dependencies...</font></div><div><font face="monospace, monospace">Using Ho Cache: '/home/mario/.jhc/cache'</font></div><div><font face="monospace, monospace">Main                    [Main.hs]</font></div><div><font face="monospace, monospace">Typechecking...</font></div><div><font face="monospace, monospace">[1 of 1] Main             (.............................................)</font></div><div><font face="monospace, monospace">Compiling...</font></div><div><font face="monospace, monospace">[1 of 1] Main             <.................................wwwwwwwww........></font></div><div><font face="monospace, monospace">Collected Compilation...</font></div><div><font face="monospace, monospace">-- TypeAnalyzeMethods</font></div><div><font face="monospace, monospace">-- BoxifyProgram</font></div><div><font face="monospace, monospace">-- Boxy WorkWrap</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">>>> Exception thrown</font></div><div><font face="monospace, monospace">Writing: hs.out_lint-before-Boxy WorkWrap.jhc_core</font></div><div><font face="monospace, monospace">Stack:</font></div><div><font face="monospace, monospace">transformProgram: Boxy WorkWrap</font></div><div><font face="monospace, monospace">jhc: Pattern match failure in do expression at src/E/Demand.hs:287:13-28</font></div></div><div><br></div><div>Is this a known bug? Is there any workaround?</div><div><br></div><div>Thanks for your time.<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">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.<br></div></div></div></div>
</div></div></div>