[LLVMdev] [Caml-list] Ocaml(opt) & llvm
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
Can you explain how the ocaml exception model works?
More information about the llvm-dev