[m-dev.] for review: polymorphic ground insts

[David Overton]

On Fri, Sep 29, 2000 at 08:17:43PM +1100, Fergus Henderson wrote:
> On 29-Sep-2000, David Overton <dmo at cs.mu.OZ.AU> wrote:
> > Options are:
> > 	1.  Commit this change, change the library to make use of it,
> > 	and live with the extra compilation time every time we
> > 	bootstrap the library.
> > 
> > 	2.  Commit this change, but don't make use of it in the
> > 	library.
> > 
> > 	3.  Wait for the rewrite of the mode system which will
> > 	hopefully handle these sorts of things more efficiently.
> > 
> > What do people think about this?
> 
> We discussed this at the Mercury meeting today and agreed on option 2.
> (Of course you should wait until the change has been reviewed before
> committing it...)
> 

Hi,

I'm still waiting for someone to review this.  Any volunteers?


David
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 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
--------------------------------------------------------------------------