<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Is it safe to ignore this given I know why …my parsing code reaches a point where it knows a syntax error has been detected:<div class=""><br class=""></div><div class=""><font face="Courier New" class="">:- pred s_exp(anode::out, latok::in, latok::out) is nondet.<br class="">s_exp(X) --><br class=""> (<br class=""> ( op(_P) -><br class=""> expression_body(X),<br class=""> ( cp(_)<br class=""> ; error_pos(P),<br class=""> {throw(syntax_error(P, expected_close_paren))}<br class=""> )<br class=""> ;<br class=""> error_pos(P),<br class=""> {throw(syntax_error(P, expected_open_paren))}<br class=""> )<br class=""> ).</font></div><div class=""><br class=""></div><div class="">I can see that throwing the exception does mean there can be no solution…I expect there is a compiler switch to silence it but I don’t like doing things like that… is there a Mercury-esque technique/approach etc that I have not yet learned about?</div><div class=""><br class=""></div><div class="">Thanks</div><div class="">Sean</div><div class=""><br class=""></div></body></html>