<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 6, 2015 at 4:14 PM, Julien Fischer <span dir="ltr"><<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>></span> wrote:<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"><br>
Hi Zoltan,<div><div class="h5"><br>
<br>
On Thu, 5 Feb 2015, Zoltan Somogyi wrote:<br>
<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">
I tried to make the test case invoke the compiler with --erlang even when<br>
the bootcheck is in a different grade, but that doesn't fit into our current setup.<br>
<br>
I tested it manually, and the new test case gets a compiler error without<br>
this fix, but not with this fix. However, since I don't have Erlang installed,<br>
I cannot test the fix fully. Peter, will you try it out?<br>
</blockquote>
<br></div></div>
I have tried it out with rotd-2015-02-06 and it still fails to compile<br>
in the Erlang grade:<br>
<br>
Making Mercury/erls/transform_hlds__<u></u>ctgc__selector.erl<br>
ctgc.selector.m:396: In<br>
ctgc.selector.m:396:<br>
`table_reset_for_normalize_<u></u>selector_with_type_<u></u>information_4'(di,<br>
ctgc.selector.m:396:   uo):<br>
ctgc.selector.m:396:   error: determinism declaration not satisfied.<br>
ctgc.selector.m:396:   Declared `det', inferred `multi'.<br>
ctgc.selector.m:396:   Disjunction has multiple clauses with solutions.<br>
ctgc.selector.m:528: In clause for<br>
ctgc.selector.m:528:<br>
`table_reset_for_normalize_<u></u>selector_with_type_<u></u>information_4(di,<br>
ctgc.selector.m:528:   uo)':<br>
ctgc.selector.m:528:   mode error: argument 2 did not get sufficiently<br>
ctgc.selector.m:528:   instantiated.<br>
ctgc.selector.m:528:   Final instantiatedness of `HeadVar__2' was<br>
ctgc.selector.m:528:   `mostly_unique',<br>
ctgc.selector.m:528:   expected final instantiatedness was `unique'.<br>
** Error making `Mercury/erls/transform_hlds__<u></u>ctgc__selector.erl'.<br></blockquote><div><br></div><div>Ditto for the Java grade:</div><div><br></div><div>Making Mercury/javas/jmercury/transform_hlds__ctgc__selector.java</div><div>ctgc.selector.m:396: In</div><div>ctgc.selector.m:396:   `table_reset_for_normalize_selector_with_type_information_4'(di,</div><div>ctgc.selector.m:396:   uo):</div><div>ctgc.selector.m:396:   error: determinism declaration not satisfied.</div><div>ctgc.selector.m:396:   Declared `det', inferred `multi'.</div><div>ctgc.selector.m:396:   Disjunction has multiple clauses with solutions.</div><div>ctgc.selector.m:528: In clause for</div><div>ctgc.selector.m:528:   `table_reset_for_normalize_selector_with_type_information_4(di,</div><div>ctgc.selector.m:528:   uo)':</div><div>ctgc.selector.m:528:   mode error: argument 2 did not get sufficiently</div><div>ctgc.selector.m:528:   instantiated.</div><div>ctgc.selector.m:528:   Final instantiatedness of `HeadVar__2' was</div><div>ctgc.selector.m:528:   `mostly_unique',</div><div>ctgc.selector.m:528:   expected final instantiatedness was `unique'.</div><div>** Error making `Mercury/javas/jmercury/transform_hlds__ctgc__selector.java'.</div><div><br></div><div>Cheers,</div><div>Julien. </div></div></div></div>