[mercury-users] string append

[Michael Day]

> (1) I suggested this a while back and properly got my head
> bitten off.  + is typically commutative whereas string 
> concatenation isn't.  Hence ++ in Haskell (I'd like to see
> this as an operator in Mercury too, for list__append/2 and
> string__append/2 and ... - anybody want to hack it into the
> parser?)

Oh yes, forgot the whole commutativity thing :)

> (2) As Robert points out, func string__append/2 already exists,
> as does func list__append/2.   XXX For some reason (I think it's
> because they're declared in implemetation sections naughtily
> appended to the main implementation sections) the declarations
> don't turn up in the automatically generated documentation.

Ah great, that'll do then.

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