[mercury-users] Mercury Types Problem

Bob McKay rim at cs.adfa.edu.au
Thu Jun 20 17:12:43 AEST 2002

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

	Best Wishes

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