[m-dev.] for review: counter.m

[Ralph Becket]

> (There is perhaps some argument for moving the term__var_supply
> and term__var types out of term.m into a new module,
> and renaming them as `name_supply' and `name'.)

Gets my vote - there have been several times I've wanted just
that functionality.

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