[Haskell-cafe] Maybe a compiler bug?

Luke Palmer lrpalmer at gmail.com
Mon Jan 5 18:56:26 EST 2009


On Mon, Jan 5, 2009 at 4:34 PM, Murray Gross <mgross21 at verizon.net> wrote:

>
> When using any of -O, -O1, -O2 with the Debian binary build of GHC 6.6,
> trace shows that the expression
>
>       if (lr > ll)  then  False else True
>
> is (at least partially) evaluated, but the value returned is always True,
> even though trace reports that (lr > ll) is True. When I use only the native
> code generator (without optimization), the correct value (False) is
> returned.
>
> Further detail and complete code on request.


Of course!  This is obviously incorrect behavior.  Are you doing any
unsafePerformIO?  Please, complete code (minimal test case if possible, but
don't let that stop you).

Luke




>
>
> Best,
>
> Murray Gross
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090105/b2dfba41/attachment.htm


More information about the Haskell-Cafe mailing list