<div dir="ltr"><div>-module(bug).</div><div>f(X) -></div><div> case X == 0 of</div><div> false -> no;</div><div> false -> no;</div><div> true -> yes</div><div> end.</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><br></div><div>1> c(bug).</div>
<div>Function: f/1</div><div>bug.erl: internal error in core_fold_module;</div><div>crash reason: function_clause</div><div><br></div><div> in function sys_core_fold:opt_bool_case_guard/2</div><div> called as sys_core_fold:opt_bool_case_guard({c_call,[3,{file,"bug.erl"}],</div>
<div> {c_literal,[3,{file,"bug.erl"}],erlang},</div><div> {c_literal,[3,{file,"bug.erl"}],'=='},</div><div> [{c_var,[3,{file,"bug.erl"}],'X'},</div><div>
{c_literal,[3,{file,"bug.erl"}],0}]},</div><div> [{c_clause,[4,{file,"bug.erl"}],</div><div> [{c_literal,[4,{file,"bug.erl"}],false}],</div><div> {c_literal,[],true},</div>
<div> {c_literal,[4,{file,"bug.erl"}],no}},</div><div> {c_clause,[5,{file,"bug.erl"}],</div><div> [{c_literal,[5,{file,"bug.erl"}],false}],</div><div> {c_literal,[],true},</div>
<div> {c_literal,[5,{file,"bug.erl"}],no}},</div><div> {c_clause,[6,{file,"bug.erl"}],</div><div> [{c_literal,[6,{file,"bug.erl"}],true}],</div><div> {c_literal,[],true},</div>
<div> {c_literal,[6,{file,"bug.erl"}],yes}}])</div><div> in call from sys_core_fold:opt_bool_case_guard/1 (sys_core_fold.erl, line 1933)</div><div> in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 347)</div>
<div> in call from sys_core_fold:clause/4 (sys_core_fold.erl, line 1481)</div><div> in call from sys_core_fold:clauses/5 (sys_core_fold.erl, line 1699)</div><div> in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 352)</div>
<div> in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 279)</div><div> in call from sys_core_fold:function_1/1 (sys_core_fold.erl, line 117)</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>