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

[Tuncer Ayaz]

On Thu, Aug 20, 2009 at 4:37 PM, Bjorn Gustavsson<bgustavsson@REDACTED> wrote:
> 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.

Thanks for the patch. It fixes the issue.