[erlang-bugs] R13B01: internal error in the boolean guard optimizer

[Bjorn Gustavsson]

On Tue, Aug 18, 2009 at 2:27 AM, Tuncer Ayaz<tuncer.ayaz@REDACTED> wrote:
> Is the following a known problem in R13B01?

No.

> The fun is taken from "Erlang Programming".
>
> guard(X,Y) when not(((X>Y) or not(is_atom(X)) ) and (is_atom(Y) or (X==3.4))) ->
>  X+Y.
>
> Compiling this with erlc results in an internal compiler error which seems
> to happen in the beam assembler's boolean guard optimizer pass.
>

Thanks for reporting this bug. A correction will be included in R13B02.

/Bjorn
-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB
-------------- next part --------------
A non-text attachment was scrubbed...
Name: compiler.patch
Type: text/x-patch
Size: 844 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20090820/47245db0/attachment.bin>