[erlang-bugs] Internal error in v3_life when mixing := and =>

[Ulf Norell]

-module(bug).
f(M, X) -> M#{a := ok, b => {X}}.

$ 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 v3_life;
crash reason: {case_clause,
    {'EXIT',
        {function_clause,
            [{v3_life,vdb_store_new,
                 [ker0,4,4,[{ker0,2,3},{ker1,3,3}]],
                 [{file,"v3_life.erl"},{line,501}]},
             {v3_life,vdb_store_new,4,[{file,"v3_life.erl"},{line,502}]},
             {v3_life,vdb_store_new,4,[{file,"v3_life.erl"},{line,502}]},
             {lists,foldl,3,[{file,"lists.erl"},{line,1261}]},
             {v3_life,body,3,[{file,"v3_life.erl"},{line,442}]},
             {v3_life,body,3,[{file,"v3_life.erl"},{line,98}]},
             {v3_life,match,5,[{file,"v3_life.erl"},{line,280}]},
             {v3_life,expr,3,[{file,"v3_life.erl"},{line,133}]}]}}}

  in function  io_lib_pretty:cind_tag_tuple/7 (io_lib_pretty.erl, line 638)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
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/20140304/c821350b/attachment.htm>