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

[Ralph Becket]

>From Fergus Henderson on 03/11/2000 13:01:00
> 
> > 	pred int_is_enum_image(int::in) is semidet
> 
> That one doesn't work: there's no enum argument, so there's no way to
> specify which enum type you mean.

Of course (I should read my own typeclass document again...)

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