[m-dev.] cc_multi or det ?

Holger Krug hkrug at rationalizer.com
Tue Aug 7 02:40:36 AEST 2001


On Tue, Aug 07, 2001 at 02:27:52AM +1000, Fergus Henderson wrote:
> > why don't we use `cc_multi' anywhere where we otherwise would use
> > `det' ? Are there performance issues
> 
> No.
> 
> > or is it only because of a
> > mismatch between declarative and operational semantics ?
> 
> Yes.

So why not to disallow `det' at all and rename `cc_multi' as `det', changing
the declarative semantics accordingly ?

Is code verification the only reason (admittedly a good one) ?

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list