[mercury-users] threading states

[Michael Day]

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

Michael

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