bug with -native true and MLton_bug

Henry Cejtin henry@sourcelight.com
Tue, 12 Dec 2000 11:01:05 -0600


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.