<div dir="ltr">I posted this in the other thread, but it might have gotten lost in the other messages. I also found another way to trigger it:<div><br></div><div><div>-module(bug).</div><div>f(X = true) when X; X; true -> ok.</div>

<div><br></div><div>-module(bug).</div><div>f(X = true) -> [ok || X, X, X].</div><div><br></div><div>Now running on R17-rc2:</div><div><br></div><div>$ erl</div><div>Erlang/OTP 17 [RELEASE CANDIDATE 2] [erts-6.0] [source-a74e66a] [64-bit] [smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]</div>

<div><br></div><div>Eshell V6.0  (abort with ^G)</div><div>1> c(bug).</div><div>Function: f/1</div><div>bug.erl: internal error in beam_bool;</div><div>crash reason: {case_clause,</div><div>    {'EXIT',</div><div>

        {function_clause,</div><div>            [{gb_trees,get_1,[{x,0},nil],[{file,"gb_trees.erl"},{line,239}]},</div><div>             {beam_bool,bopt_bool_arg,2,[{file,"beam_bool.erl"},{line,435}]},</div>

<div>             {lists,mapfoldl,3,[{file,"lists.erl"},{line,1352}]},</div><div>             {beam_bool,bopt_tree,3,[{file,"beam_bool.erl"},{line,386}]},</div><div>             {beam_bool,bopt_tree_cg,3,[{file,"beam_bool.erl"},{line,360}]},</div>

<div>             {beam_bool,bopt_block,5,[{file,"beam_bool.erl"},{line,115}]},</div><div>             {beam_bool,bopt,3,[{file,"beam_bool.erl"},{line,76}]},</div><div>             {beam_bool,function,2,[{file,"beam_bool.erl"},{line,57}]}]}}}</div>

<div><br></div><div>  in function  io_lib_pretty:cind_tag_tuple/7 (io_lib_pretty.erl, line 638)</div><div>  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)</div><div>  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)</div>

<div>  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)</div><div>  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)</div><div>  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)</div>

<div>  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)</div><div>  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)</div><div>bug.erl:2: Warning: function f/1 is unused</div><div>

error</div><div><br></div><div>/ Ulf</div><div><br></div></div></div>