Re: [m-users.] Installation of the compiler fails

Volker Wysk <[email protected]> Sat, 12 Nov 2022 10:36:32 +0100

Newsgroups	gmane.comp.lang.mercury.general
Message-ID	<[email protected]>

Am Samstag, dem 12.11.2022 um 20:23 +1100 schrieb Zoltan Somogyi:
> 
> 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.

Okay, thanks.

Volker

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users

signature.asc (application/pgp-signature, 833 B)