Displaying 2 results from an estimated 2 matches for "07696bd8".
2008 Mar 15
0
[LLVMdev] improving the ocaml binding's type safety
For all LLVM users out there: what kinds of errors do you spend the most time
debugging?
On Saturday 15 March 2008 08:03:47 Erick Tryzelaar wrote:
> Does this sound like it could work, or am I missing something?
Excellent idea. You might also consider building a data structure on the OCaml
side that is equivalent to the LLVM code:
module Op = struct
type int_op = [ `IAdd | ... ]
2008 Mar 15
4
[LLVMdev] improving the ocaml binding's type safety
I was talking to Gordon on #llvm earlier, and he challenged me with
coming up with a way to improve the ocaml binding's type safety. We
can't go letting haskell beat us now, can we? I think I got an easy
solution with phantom types.
For those who don't know what the problem is, the ocaml bindings share
one type between whole class branches (like values). This means we
need to downcast