[mercury-users] string__first_char

[Michael Day]

> ... and so operations like string__first_char would still need to make
> copies, at least some of the time.

How about if it had a mode of (di, uo, uo) ? Would that help at all?

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