[m-dev.] for review: use bitsets in quantification

[Simon Taylor]

Fergus wrote:
> On 08-Nov-2000, schachte at cs.mu.OZ.AU <schachte at cs.mu.OZ.AU> wrote:
> > Let me turn the question around:  why do you want prev and next?
> 
> Because I want `enum's to be enumerable.  I'd like to move the `..`
> function from library/int.m to library/enum.m and make it work on any
> type which is an instance of `enum'.

Maybe we do need a `convertable_to_int' class. For example, term__var
can be converted to int, but `..` doesn't make much sense for variables.

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