[m-dev.] existential types branch

[David Glen JEFFERY]

On 29-Jun-1999, David Overton <dmo at hydra.cs.mu.oz.au> wrote:
> Hi Fergus,
> 
> I need to make some changes on the alias branch to the code that
> handles creation of unification procedures (basically, it's a complete
> fluke that it's working at all in the presence of alias insts).  If I
> do that now, it will involve changes to polymorphism.m  which will
> need to be undone when you merge your existential type changes back
> onto the main branch.
> 
> So, my question is:  how long is it likely to be before your changes
> can be merged into the main branch?  If you are nearly ready to do
> this, I'll wait.  Otherwise, I'll try merging the existential_types_2
> branch into the alias branch.

I'm going to finish reviewing the diffs Fergus posted (hopefully tonight, maybe
tomorrow). After that, I think he plans on merging.


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