Hello!<div><br></div><div>The following piece of code (purely synthetic):</div><div><br></div><div>    -module(check).</div><div><div>    -export([check/2]).</div><div><br></div><div>    check(<<"string">>, a1) -> </div>
<div>        <span class="Apple-tab-span" style="white-space:pre">      </span>one;</div><div>    check(_, a2) -></div><div>        <span class="Apple-tab-span" style="white-space:pre">    </span>two;</div><div>    check(undefined, a3) -></div>
<div>        <span class="Apple-tab-span" style="white-space:pre">      </span>three.</div><div><br></div><div>produces failure of internal cosistency instead of simple warning: </div><div><br></div><div>-----------</div><div>
<br></div><div><div>Erlang R15B02 (erts-5.9.2) [source] [smp:2:2] [async-threads:0] [hipe] [kernel-poll:false]</div><div><br></div><div>Eshell V5.9.2  (abort with ^G)</div><div>1> c(check).</div><div>check: function check/2+17:</div>
<div>  Internal consistency check failed - please report this bug.</div><div>  Instruction: {test,is_eq_exact,{f,7},[{x,0},{atom,undefined}]}</div><div>  Error:       {match_context,{x,0}}:</div><div><br></div><div>error</div>
</div><div><br></div><div>-----------</div><div><br></div><div>It's probably a bug in pattern matcher. Being wrapped in case … of it gives the same result. </div><div><br></div><div><br></div>-- <br><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Sincerely,</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
Viktor Sovietov</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Cloudozer LLP</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">
tel: <a value="+448455086137" style="color:rgb(17,85,204)">+44 845 5086137</a></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Skype: owlbird</div>
</div>