[MLton] MLton: A few questions
ville at laurikari.net
Wed Apr 1 21:37:22 PST 2009
On Wed, Apr 01, 2009 at 03:58:32PM -0600, Matthew Fluet wrote:
>> 2) Is it possible (or sensible) to use a non gcc compiler (e.g. xlc on AIX)?
> It might be. I think that some of the Intel folks have used the Intel
> compiler, but I'm not sure.
Ah, yes, the Intel compiler is highly compatible with GCC, so it might
just work as a drop-in replacement for GCC.
The MLton runtime has some GCC specific code; the most obvious part
is the 200 or so occurrences of __attribute__, but there may be
something else as well. It could be a fair amount of work, so I'm
interested: what do you think you stand to gain from compiling with
xlc instead of GCC?
An easier way is to leave the runtime alone and only use the -cc flag
for MLton. If you go this route, make sure you link also with the GCC
runtime library because a runtime built with GCC will depend on it,
but xlc won't supply it automatically. So you'd probably have to put
-link-flag "-l `gcc --print-file-name libgcc.a`"
Emil, I'm also keen to hear if you got MLton compiled OK on AIX?
More information about the MLton