inlining and string concatenation

[Tom Tromey]

>>>>> "Hans" == Boehm, Hans <hans_boehm@hp.com> writes:

Hans> Has anyone thought about using a rope-like data structure (cf.
Hans> http://reality.sgi.com/boehm/ropeimpl.html , or the cord
Hans> implementation in the garbage collector distribution
Hans> http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/cordh.txt )
Hans> for Strings?

Maybe Per did when he wrote java.lang.String.  I don't know.  I
certainly haven't.

Tom