[mercury-users] threading states

[Michael Day]

> The new MLDS-based back-end optimizes away the passing of
> `io__state' and `store__store(S)', but it does not do so
> for user-defined unit types.

That's interesting, I thought io__state was equivalent to c_pointer,
rather than being a unit type? (Is it a constant c_pointer?)

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