Commits

Jacques-Pascal Deplaix  committed 05f1003

Fixing compilation

  • Participants
  • Parent commits 5f29131

Comments (0)

Files changed (2)

File LLVM_types.mli

 type 'a llvm_pointer = [`Pointer of ('a t * int option)]
 type ('a, 'b) llvm_function_pointer = [`Function_pointer of ('a t array * 'b t * int option)]
 
-val int : int -> Big_int.big_int option -> llvm_int t
-val array : int -> 'a t -> 'a llvm_array t
-val pointer : 'a t -> int option -> 'a llvm_pointer t
-val function_pointer : 'a t array -> 'b t -> int option -> ('a, 'b) llvm_function_pointer t
+val int : int -> Big_int.big_int option -> [> llvm_int ] t
+val array : int -> 'a t -> [> 'a llvm_array ] t
+val pointer : 'a t -> int option -> [> 'a llvm_pointer ] t
+val function_pointer : 'a t array -> 'b t -> int option -> [> ('a, 'b) llvm_function_pointer ] t
 
 val to_string :
   ([< llvm_int
     (LLVM.new_declaration
        (LLVM_types.int 32 None)
        "puts"
-       [| LLVM_types.pointer (LLVM_types.int 8 None); LLVM_types.int 32 None |]
+       [| LLVM_types.pointer (LLVM_types.int 8 None) None; LLVM_types.int 32 None |]
       ~link_type:(Some `External)
     )