[mercury-users] string append

[Michael Day]

Hi,

is use of the + operator to append strings considered poor coding style?
If not, could this (or any functional form, really) be added to string.m?

:- func string + string = string.

S0 + S1 = S :- append(S0, S1, S).

(Does anyone like using ++ to append lists, or can we at least get a
functional variation of append?)

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