1. camlspotter
  2. ocaml-llvm-phantom

Source

ocaml-llvm-phantom /

Filename Size Date modified Message
examples
lib
205 B
added sqrt_intr.ml, a use of intrinsics
99 B
build document
391 B
now uses opam llvm
81 B
auto update of OMyMakefile
24.2 KB
auto update of OMyMakefile
334 B
update
804 B
preparation for oasis

Wrapper of LLVM OCaml interface, now for LLVM 3.2

  • Basically written for LLVM 2.8 but quickly ported to 3.2
  • Phantom types for llvalues for more type safety
  • Renamed functions in more module oriented manner
  • Builder monad to avoid writing builder arguments everywhere
  • Module functor to avoid wrting module arguments everywhere