[m-dev.] diff: catch typeclass constraints on compound types

David Glen JEFFERY dgj at hydra.cs.mu.oz.au
Wed Nov 3 12:37:06 AEDT 1999

On 30-Oct-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1
> compiler/prog_io_typeclass.m:
> 	Detect the case of constraints on compound types,
> 	and report a "sorry, not implemented" error message
> 	for them.
> tests/hard_coded/typeclasses/Mmakefile:
> tests/hard_coded/typeclasses/complicated_constraint.m:
> 	Add a test case for complicated constraints.
> 	This test case is not yet enabled, since we currently
> 	print out a `sorry, not implemented' message for it.

You've probably already committed this, but it looks fine, anyway.

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