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

[Ralph Becket]

>From Fergus Henderson on 29/09/2000 10:19:56
> 
> However, IMHO the feature should not be documented in the language
> reference manual as a standard part of Mercury until we know how to
> implement it efficiently.

Do you mean implement it efficiently in the sense of making the compiler
run fast or in the sense of making compiled code run fast?  I presume it's
the former because I can't see any reason why polymorphic modes should
affect the compiler output - just want to check.

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.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
--------------------------------------------------------------------------