[m-dev.] for review: support constructions for existential data types

[David Glen JEFFERY]

On 08-Jul-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> I accidentally left the changes to type_util.m out of my original diff.
> Here is the log message for that file, the diff of that file,
> and a relative diff for doc/reference_manual.texi that addresses
> dgj's review comments.  I will go ahead and commit this change now.
> 
> compiler/type_util.m:
> 	Define a new predicate `remove_new_prefix', for use by typecheck.m
> 	and polymorphism.m.

That all looks fine, 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
--------------------------------------------------------------------------