[m-rev.] diff: implement concat_string_list for .NET

[Michael Day]

> null-terminated strings. (In that case, you may have to scan a string with an
> explicit length to search for nulls before the end of the string, and even
> if that scan is negative, you may have to copy the string to buffer that has
> room for the final null to be inserted.)

Ouch, that's a nasty example of paying for stuff you don't use,
considering that very few strings are going to be stuffed with nulls, and
if they are then you won't have much luck passing them to C libraries or
the operating system anyway.

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------