<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 this a bug ?<div class=""><br class=""></div><div class=""><div class=""><font face="MonoidNerdFontComplete-Regular" size="2" class="">Making Mercury/opts/translate.opt</font></div><div class=""><font face="MonoidNerdFontComplete-Regular" size="2" class="">Uncaught Mercury exception:</font></div><div class=""><font face="MonoidNerdFontComplete-Regular" size="2" class="">Software Error: predicate `check_hlds.mode_util.mode_get_insts'/4: Unexpected: mode_get_insts_semidet failed</font></div><div class=""><font face="MonoidNerdFontComplete-Regular" size="2" class="">** Error making `Mercury/opts/translate.opt'.</font></div></div><div class=""><br class=""></div><div class="">It produced a zero length translate.err file as well.</div><div class=""><br class=""></div><div class="">I shall attempt to pinpoint what I did although it might take a while as I’ve been refactoring / extending code.</div><div class=""><br class=""></div><div class="">Thanks</div><div class="">Sean</div><div class=""><br class=""></div><div class=""><br class=""></div></body></html>