<div dir="ltr">Running 'master' of my maps_eqc test against that branch seems to work. I had to fix a problem with generation of function2/1 values[0], but now the model doesn't find any problem in release 17.4.1.<div><br></div><div>[0] It would seem functions are seeded by self(), which is differing in my model.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 24, 2015 at 6:09 PM, Björn-Egil Dahlberg <span dir="ltr"><<a href="mailto:egil@erlang.org" target="_blank">egil@erlang.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div>On current maint +
egil/fix-term-cmp/OTP-12623 (what jesper reported):<br>
<br>
<tt>egil/fix-term-cmp/OTP-12623 egil@palantir
/ldisk/egil/git/otp/erts/emulator $ ../../bin/erl -s map_test1
main</tt><tt><br>
</tt><tt>Erlang/OTP 17 [erts-6.3.1] [source-8c0c99b] [64-bit]
[smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]</tt><span class=""><tt><br>
</tt><tt><br>
</tt><tt>Created: {r1,#{count => 1},0}</tt><tt><br>
</tt></span><tt>Modified: {r1,#{count => 2},0}</tt><tt><br>
</tt><tt>Eshell V6.3.1 (abort with ^G)</tt><tt><br>
</tt><tt>1> </tt><tt><br>
</tt><br>
Seems ok.<span class="HOEnZb"><font color="#888888"><br>
<br>
// Björn-Egil</font></span><div><div class="h5"><br>
<br>
On 2015-03-24 12:38, Max Lapshin wrote:<br>
</div></div></div><div><div class="h5">
<blockquote type="cite">
<div dir="ltr">Thanks</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, Mar 24, 2015 at 2:25 PM, Sergej
Jurečko <span dir="ltr"><<a href="mailto:sergej.jurecko@gmail.com" target="_blank">sergej.jurecko@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">
<div>Yes this is likely the same bug that I reported in
february: <a href="http://erlang.org/pipermail/erlang-bugs/2015-February/004768.html" target="_blank">http://erlang.org/pipermail/erlang-bugs/2015-February/004768.html</a><br>
<br>
<br>
</div>
Sergej<br>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">
<div>
<div>On Tue, Mar 24, 2015 at 12:21 PM, Max
Lapshin <span dir="ltr"><<a href="mailto:max.lapshin@gmail.com" target="_blank">max.lapshin@gmail.com</a>></span>
wrote:<br>
</div>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>
<div>
<div dir="ltr"><a href="https://gist.github.com/maxlapshin/a95d8a27ce93221d883a" target="_blank">https://gist.github.com/maxlapshin/a95d8a27ce93221d883a</a><br>
<div><br>
</div>
<div>when I match map in record: </div>
<div><br>
</div>
<div>modify(#r1{map_data = #{count := Cnt} =
M}=R1) -></div>
<div><br>
</div>
<div>I get badarg when modify record in the end
of function.</div>
<div><br>
</div>
<div>I've attached two files looking similar in
the gist. </div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>When I launch first, I get badarg with the
line of function header:</div>
<div><br>
</div>
<div>
<p>erl -s map_test1 main</p>
<p>Erlang/OTP 17 [erts-6.3] [source] [64-bit]
[smp:4:4] [ds:4:4:10] [async-threads:10]
[hipe] [kernel-poll:false] [dtrace]</p>
<p>Created: {r1,#{count => 1},0}</p>
<p>{"init terminating in
do_boot",{badarg,[{map_test1,modify,1,[{file,"map_test1.erl"},{line,11}]},{map_test1,main,0,[{file,"map_test1.erl"},{line,8}]},{init,start_it,1,[]},{init,start_em,1,[]}]}}</p>
<p><br>
</p>
<p>when I launch second, it works (but makes
useless work).</p>
<p><br>
</p>
<p>Is it a known bug? Or maybe it is not a
bug, but just my misunderstanding?</p>
<p><br>
</p>
</div>
<div><br>
</div>
</div>
<br>
</div>
</div>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br>
</blockquote>
</div>
<br>
</div>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset></fieldset>
<br>
<pre>_______________________________________________
erlang-questions mailing list
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</div></div></div>
<br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">J.</div>
</div>