[m-dev.] Plea for inline type specifiers

[Ralph Becket]

Any chance of inline type specifiers turning up soon?  Higher order
code, esp. given that many library preds have a func of the same
name, currently causes the typechecker some problems, requiring
extra verbiage to sort out.

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