[m-dev.] polymorphic modes

[Robert Ernst Johann JESCHOFNIK]

On Wed, 9 Feb 2000, David Overton wrote:

> > What happens if you call p/1 with a arguments whose
> > initial insts are `(unique, free)'?  Does that end
> > up calling the `p(in(ground), out(ground))' mode,
> > or is it a mode error?
> > 
> 
> The former.

Is this desireable?
I think at the very least there should be a warning, letting you know that
the uniqueness has been slaughtered. Otherwise, I can imagine some major
pain being caused because of this... I found uniqueness hard enough to
grasp initially as it is :)


rob

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