[m-dev.] polymorphic modes

[David Overton]

On Wed, 09 Feb, 2000 at 10:49:28PM EST, Ralph Becket wrote:
> The syntax
> 
> :- mode p(in(I), out(I)) <= I is ground.
> 
> (or whatever variant) is fine, but I wonder if we could make
> `I is ground' the default assumption, in the same way that
> we have a default assumption for function modes?

This sounds good to me.


> > One problem that people writing code using this extension
> > will run into is that the standard library does not use
> > polymorphic modes.  So for code that uses the standard
> > library, it will typically not be OK to give the code a
> > polymorphic mode declaration.
> > 
> > One solution would be to change all the appropriate mode
> > declarations in the standard library to be polymorphic. 
> 
> This gets in my way so often that I volunteer to handle
> the change if this scheme is adopted.

Thanks, that would be great.  I've already done this for tree234.m
which I used as a test case.  The change didn't take too long.

-- 
David Overton       Department of Computer Science & Software Engineering
PhD 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
--------------------------------------------------------------------------