[m-dev.] diff: simplify.m: fix a bug for MLDS back-end

[Zoltan Somogyi]

On 04-Sep-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> +				% If-then-elses that are det or semidet may
> +				% nevertheless contain nondet or multidet
> +				% conditions. If this happens, the if-then-else
> +				% must be put inside a `some' to appease the
> +				% code generator.

You should say *which* code generator needs to be so appeased.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------