[LLVMdev] OCaml

[Chris Lattner]

On Nov 25, 2007, at 1:17 PM, Jon Harrop wrote:
> Ultimately, a minimal compiler for a statically-typed functional  
> programming
> language that gave good performance for some cases (probably non-GC- 
> intensive
> numeric code) would be an incredibly compelling demo for the use of  
> LLVM in
> general compiler writing. This looks perfectly feasible to me.

That would be very nice!

> I got the impression from some of the blurb that I read that the  
> optimizer in
> LLVM might even be able to automate localized unboxing. Is that  
> true? If so,
> that would make things a lot easier...

I have some crazy ideas for nice language-independent ways to do this  
in LLVM.  Once you have your front-end generating "naive" boxed code,  
please bring this back up and we can discuss it in more detail,

-Chris