[mercury-users] Mercury Types Problem

Simon Taylor stayl at cs.mu.OZ.AU
Thu Jun 20 17:20:43 AEST 2002

On 20-Jun-2002, Bob McKay <rim at cs.adfa.edu.au> wrote:
> > 
> > Recent versions of the compiler allow
> > 
> > :- pred eval_ind `with_type` eval_pred(Ind).
> > :- mode eval_ind `with_inst` eval_pred.
> > 
> > Simon.
> Thanks Simon; that's exactly what I need. It doesn't seem to be in 0.10.1, can
> you tell me how recent I need to go - or is there somewhere that documents
> what's in each ROTD? (I need to build it on OSX, with all the mods involved, 
> so I don't want to repeat the process).

Anything after 9/4/2002 will do.

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list