[mercury-users] Mercury Types Problem

[Bob McKay]

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

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