[m-dev.] for review: fix doc for class constraint ordering

David Glen JEFFERY dgj at cs.mu.OZ.AU
Tue Oct 5 12:55:13 AEST 1999


On 03-Oct-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> For review by dgj and/or zs.
> 
> ----------
> 
> Estimated hours taken: 1
> 
> doc/reference_manual.texi:
> 	Change the documentation of existential types to say that
> 	existential constraints must precede universal constraints
> 	rather than vice versa.
> 
> 	This change makes the documentation consistent with the
> 	behaviour of the compiler.
> 
> 	The rationale for changing the documentation rather than
> 	changing the compiler is that the order that the compiler
> 	uses more closely matches the logic of the type declaration.

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



More information about the developers mailing list