[erlang-bugs] Internal error in beam_type

[Ulf Norell]

This is my favourite so far.

-module(bug).
f(X, [_]) when {{X}}, -X -> ok.

$ erl
Erlang/OTP 17 [RELEASE CANDIDATE 2] [erts-6.0] [source-a74e66a] [64-bit]
[smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]

Eshell V6.0  (abort with ^G)
1> c(bug).
Function: f/2
bug.erl: internal error in beam_type;
crash reason: {case_clause,{'EXIT',{{badmatch,false},
                      [{beam_utils,live_opt_block,4,
                                   [{file,"beam_utils.erl"},{line,785}]},
                       {beam_utils,live_opt,4,
                                   [{file,"beam_utils.erl"},{line,680}]},
                       {beam_utils,live_opt,1,
                                   [{file,"beam_utils.erl"},{line,207}]},
                       {beam_type,function,1,
                                  [{file,"beam_type.erl"},{line,33}]},
                       {beam_type,'-module/2-lc$^0/1-0-',1,
                                  [{file,"beam_type.erl"},{line,28}]},

 {beam_type,module,2,[{file,"beam_type.erl"},{line,28}]},
                       {compile,'-select_passes/2-anonymous-2-',2,
                                [{file,"compile.erl"},{line,493}]},
                       {compile,'-internal_comp/4-anonymous-1-',2,
                                [{file,"compile.erl"},{line,290}]}]}}}

  in function  compile:'-select_passes/2-anonymous-2-'/2 (compile.erl, line
493)
  in call from compile:'-internal_comp/4-anonymous-1-'/2 (compile.erl, line
290)
  in call from compile:fold_comp/3 (compile.erl, line 308)
  in call from compile:internal_comp/4 (compile.erl, line 292)
  in call from compile:'-do_compile/2-anonymous-0-'/2 (compile.erl, line
153)
bug.erl:2: Warning: function f/2 is unused
error

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140303/e9d62b68/attachment.htm>