[MLton] Re: Hurd on l4 / ConcurrentML

[Duraid Madina]

Hi Guillaume, (hi everyone!)

It's certainly possible to write an MLton back-end targeting LLVM but
unfortunately, I haven't yet found the time to sit down and do it. I still
hope to get around to it some day, but I must confess that I haven't been in
much of a hurry since I managed to build MLton using LLVM's "mutant GCC"
front-end. For now, if anyone wants to do some low-level manipulation of
programs built with MLton, they can just drop llvm-gcc in place of gcc and
they will be left with LLVM IR on their disk. You can then go and write your
LLVM transformation passes just as you normally would, though obviously some
things won't be as straightforward since everything will be passing through
a C bottleneck.

For now, I can do all the LLVM-related work I want to do anyway - the C
bottleneck isn't a terribly big problem for me right now, and it probably
won't be for you.

	Duraid


On Thu, Aug 03, 2006 at 11:23:14PM -0700, Stephen Weeks wrote:
> 
> > Do you know llvm ( http://llvm.org ) ?
> ...
> > Do you think is it possible to have a Standard ML front-end for llvm ?
> 
> We've run across LLVM before.  In fact, there was a fairly recent
> proposal on this list to use MLton to compile from SML to LLVM.  See
> 
>   http://mlton.org/pipermail/mlton/2005-November/028263.html
> 
> and the ensuing discussion.  I don't know if any progress was made.
> Duraid is still on the list, and hopefully is reading this and will
> give an update.
> 
> 
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton