Source

ocaml-llvm-phantom / lib / extension.mli

1
2
3
4
5
6
7
8
9
(* Some functions which could be additions or bug-fixes to the original LLVM OCaml binding *)
open Llvm

module Llvm : sig
  val string_of_lltype : (Llvm.lltype * (string * string)) list -> lltype -> string
  (** [string_of_lltype] in LLVM 2.8 has a bug and crashes when it is given a recursive type.
      This is a fix and can print named types and recursive types with mu notation. *)
  (* CR jfuruse: check [string_of_lltype] of 3.2 still has this bug *)
end