Commits

Calascibetta Romain committed 1ea8f26

Display value of int

  • Participants
  • Parent commits d382caf

Comments (0)

Files changed (1)

File LLVM_types.ml

     | n -> aux (acc ^ ", " ^ to_string arr.(n).data) arr (pred n)
   in
   match data with
-    | `Int (i, _) -> "i" ^ string_of_int i
+    | `Int (i, a) -> "i" ^ string_of_int i ^
+    (match a with | Some a -> " " ^ Big_int.string_of_big_int a | None -> "")
     | `Pointer (t, _) -> to_string t.data ^ "*"
     | `Array (i, t) ->
         "[" ^ string_of_int i ^ " x " ^ to_string t.data ^ "]"