[m-rev.] diff: fix solver types bug

[Mark Brown]

On 20-Jul-2006, Mark Brown <mark at csse.unimelb.edu.au> wrote:
> Estimated hours taken: 3
> Branches: main, release-0.13
> 
> Fix a bug with solver type initialisation.
> 
> compiler/modes.m:
> 	Use type information to resolve ambiguity when looking up the
> 	initialisation predicate of a solver type.
> 
> tests/valid/Mmakefile:
> tests/valid/solver_type_bug_2.m:
> 	Regression test.

I've committed this to the release branch now.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------