[mercury-users] threading states

Michael Day mcda at students.cs.mu.oz.au
Fri Jul 28 17:25:10 AEST 2000

> If io__state was defined as a unit type, then the front end might get
> too clever and decide that it could optimize away procedures that do
> IO, since they would be declared to only output a unit type.

Oh, that's cute :) Perhaps in future there could be a more generalised
mechanism for indicating which parameters are io__stateish, either by
pragma or determining if the predicates call foreign code?


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