diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2010-06-04 16:46:06 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2010-06-04 16:46:06 +0000 |
| commit | ef38d5bf94c9b76befca1390e702c462994528d7 (patch) | |
| tree | 1619a1708b8744edbadd60c002134fce06199f39 | |
| parent | f5c2201cc0d73efee1497bf90896ce64c7f28b7e (diff) | |
Report corrections for ^^ from stdlib/pervasives.ml + PR#5062
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 7cfd02505..08115a2ff 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -55,6 +55,7 @@ external (||) : bool -> bool -> bool = "%sequor" (* Integer operations *) external (~-) : int -> int = "%negint" +external (~+) : int -> int = "%identity" external succ : int -> int = "%succint" external pred : int -> int = "%predint" external (+) : int -> int -> int = "%addint" @@ -81,6 +82,7 @@ let max_int = min_int - 1 (* Floating-point operations *) external (~-.) : float -> float = "%negfloat" +external (~+.) : float -> float = "%identity" external (+.) : float -> float -> float = "%addfloat" external (-.) : float -> float -> float = "%subfloat" external ( *. ) : float -> float -> float = "%mulfloat" @@ -512,7 +514,8 @@ let (( ^^ ) : ('f, 'b, 'c, 'e, 'g, 'h) format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6) = fun fmt1 fmt2 -> - string_to_format (format_to_string fmt1 ^ format_to_string fmt2);; + string_to_format (format_to_string fmt1 ^ "%," ^ format_to_string fmt2) +;; let string_of_format fmt = let s = format_to_string fmt in @@ -521,7 +524,6 @@ let string_of_format fmt = string_blit s 0 r 0 l; r - (* Miscellaneous *) external sys_exit : int -> 'a = "caml_sys_exit" |