bug with -native true and MLton_bug
Stephen Weeks
MLton@sourcelight.com
Tue, 12 Dec 2000 09:05:17 -0800 (PST)
> The only use of making it
> char *MLton_bug_msg = "...";
> instead of
> char MLton_bug_msg[] = "...";
> is that in the former case the string is not writable and is in the text space
> (so multiple running instances of the program will share that memory). In the
> latter the string is writable and resides in the data space.
> All of this is irrelevant for a short string and more than compensated for
> by the extra indirection.
OK. I made the change. Thanks.