<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014/1/19 Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><a href="https://github.com/grwlf/urweb-monad-pack/blob/master/test/TestState1.ur" target="_blank">https://github.com/grwlf/<u></u>urweb-monad-pack/blob/master/<u></u>test/TestState1.ur</a><br>


<br>
The program should popup two alerts at startup but for some reason only the last one appears.<br>
</blockquote>
<br></div>
Thanks for the example!  I found the bug, and now at least this example works properly.<br></blockquote><div><br></div><div>Great!</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">


Two fun facts:<br>
1. Thanks to Vladimir's open-source release of the BazQux code, I've included it in my informal regression test suite for this change. :)<br></blockquote><div><br></div><div>But don't be afraid of making breaking changes. Too much backward compatibility could stop innovation. I have nothing against fixing few lines of source code to conform with the latest release.</div>

</div></div></div>