[m-rev.] Trivial diff: bugfix for missing solver init preds

[Julien Fischer]

On Wed, 9 Mar 2005, Ralph Becket wrote:

> Estimated hours taken: 3
> Branches: main, release
>
> compiler/special_pred.m:
> 	Ensure that initialisation special preds are type checked (without
> 	this, the compiler will abort during purity checking if the user
> 	defines a solver type, but not its initialisation predicate.)
>
> tests/invalid/Mmakefile:
> tests/invalid/missing_init_pred.m:
> tests/invalid/missing_init_pred.err_exp:
> 	Added a test case.
>

This change seems to have broken the CLP(R) interface,
extras/trailed_update and tests/warnings/non_term_user_special.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------