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

Chris Lattner
Tue, 27 Nov 2007 04:40:16 -0000

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?

-Chris