Suppose you have a very large string, and a small substring. Won't
modifying the large string cause it to be copied? Ideally you'd like
the substring to be copied instead.
Jim> If we have the above, then we can implement symbol->string using
Jim> sharing, making it efficient enough that separate primitives
Jim> which accept symbols as strings (like const-string-append) will
Jim> be unnecessary.
I like this.
Tom
-- tromey@cygnus.com Member, League for Programming Freedom