[LLVMdev] [Caml-list] Ocaml(opt) & llvm

Chris Lattner sabre at nondot.org
Mon Nov 26 20:40:16 PST 2007

On Nov 26, 2007, at 11:30 AM, Gordon Henriksen wrote:

>> Of course, I do know that there are some typing issues and
>> theoritical points which I deliberately ignore here. I'm supposing
>> the guy wanting to LLVM for Ocaml is knowing that he seeks trouble.
> The ocaml type system is easily represented in LLVM. The only real
> mismatches I'm aware of are:
>  1. The ocaml exception model is quite unique; emulating it seems
> unlikely. DWARF exceptions are a suitable but incompatible  
> replacement.

Can you explain how the ocaml exception model works?


More information about the llvm-dev mailing list