View difference between Paste ID: UAWwNQ00 and EFv7ehja

-===== .ml
+let printf : string -> int -> int -> ('a, unit, string, unit) format4 -> 'a =
-
+
-  let printf : string -> int -> int -> ('a, unit, string, unit) format4 -> 'a =
+    (fun brick_name brick_verb verb message ->
      Printf.ksprintf
-    (fun (brick_name : string) (brick_verb:int) (verb:int) (message : ('a, unit, string, unit) format4) ->
+
         if true
         then Printf.printf "[%s][%.3f]%s" brick_name start_time s else ())
-	if true
+       message);;
-	then Printf.printf "[%s][%.3f]%s" brick_name start_time s else ())
+              val printf : string -> int -> int -> ('_a, unit, string, unit) format4 -> '_a =
-       message)
+  <fun>
-
+# printf "hi" 5 1 "Bonjour %s !" "tobias";;
-===== .mli
+[hi][0.061]Bonjour tobias !- : unit = ()
-
+# printf "hi" 5 1 "Bonjour %d !" 5;;
-      val printf :
+Characters 16-30:
-        string -> int -> int -> ('a, unit, string, unit) format4 -> 'a
+  printf "hi" 5 1 "Bonjour %d !" 5;;
-
+                  ^^^^^^^^^^^^^^
-===== Erro :
+Error: This expression has type
-Error: The implementation PhTools.eliom
+         (string -> unit, string -> unit) CamlinternalFormatBasics.precision
-       does not match the interface _server/PhTools.cmi:
+       but an expression was expected of type
-       ...
+         (string -> unit, int -> 'a) CamlinternalFormatBasics.precision
-       In module Debug:
+       Type string is not compatible with type int