Re: [m-users.] Installation of the compiler fails
"Zoltan Somogyi" <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
On Sat, 12 Nov 2022 10:12:40 +0100, Volker Wysk <[email protected]> wrote: > Uncaught Mercury exception: > Software Error: predicate `ll_backend.prog_rep.goal_to_goal_rep'/4: > Unexpected: non-plain conjunction and declarative debugging > > This looks like a compiler error (uncaught exception). This is a sanity check, guarding against the incompatibility Julien mentioned: > > Mixing .par and .debug (or .decldebug) grades isn't really supported, so > > if I had to hazard a guess that's likely to be the issue here. The "non-plain" conjunction being a parallel conjunction. The bug is that this incompatibility should have been caught when the options and the grade were processed. I just added a test for that now, so from the next ROTD, the same error will be reported earlier, and with a useable error message. Zoltan. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users