diff options
Diffstat (limited to 'bindings')
-rw-r--r-- | bindings/ocaml/llvm/llvm.ml | 2 | ||||
-rw-r--r-- | bindings/ocaml/llvm/llvm.mli | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml index 40b0138636..b169b85bc9 100644 --- a/bindings/ocaml/llvm/llvm.ml +++ b/bindings/ocaml/llvm/llvm.ml @@ -20,6 +20,7 @@ type llmemorybuffer module TypeKind = struct type t = | Void + | Half | Float | Double | X86fp80 @@ -1234,5 +1235,6 @@ let rec string_of_lltype ty = | TypeKind.X86fp80 -> "x86_fp80" | TypeKind.Double -> "double" | TypeKind.Float -> "float" + | TypeKind.Half -> "half" | TypeKind.Void -> "void" | TypeKind.Metadata -> "metadata" diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli index 33bbc74deb..96448ccd96 100644 --- a/bindings/ocaml/llvm/llvm.mli +++ b/bindings/ocaml/llvm/llvm.mli @@ -53,6 +53,7 @@ type llmemorybuffer module TypeKind : sig type t = Void + | Half | Float | Double | X86fp80 |