[m-dev.] existential types branch

[David Overton]

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.

David
-- 
David Overton       Department of Computer Science & Software Engineering
MEngSc Student      The University of Melbourne, Australia
+61 3 9344 9159     http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------