[m-dev.] diff: existential types: handle mode reordering in polymorphism.m

[David Glen JEFFERY]

On 22-Jun-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 4
> 
> Change polymorphism.m so that it supports mode reordering of existentially
> typed goals, for cases not involving type class constraints.
> (Mode reordering for existentially quantified type class constraints
> is still not yet supported.)
> 
> compiler/polymorphism.m:
> 	Handle the case when the first use of an existentially typed variable
> 	occurs before the type_info for that variable is defined.
> 
> tests/hard_coded/Mmakefile:
> tests/hard_coded/existential_reordering.m:
> tests/hard_coded/existential_reordering.exp:
> 	Add a test case for mode reordering of existentially typed goals.

That's fine.



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
--------------------------------------------------------------------------