[m-dev.] diff: fix flow-on error with unsatisfied type class constraints

[David Glen JEFFERY]

On 03-Nov-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1
> 
> Fix a bug reported by Ralph Becket <rbeck at microsoft.com>.
> 
> compiler/mercury_compile.m:
> compiler/purity.m:
> 	If we find any unsatisfied type class constraints, then stop
> 	compilation before running polymorphism.m, because polymorphism.m
> 	gets internal errors if you run it on code which has unsatisfied
> 	type class constraints.

Looks great, thanks.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------