diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2003-01-21 12:57:33 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2003-01-21 12:57:33 +0000 |
commit | 306f79785d4a530c92962ff0c15c968076022bf8 (patch) | |
tree | 3e6086838bd94fa45d17f8712a2fb315e53b1dc7 /stdlib | |
parent | 54ac3911ce45de8b0353480872e6bc60d2c60860 (diff) |
points-virgules mal places
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/array.ml | 2 | ||||
-rw-r--r-- | stdlib/lazy.ml | 2 | ||||
-rw-r--r-- | stdlib/printexc.ml | 8 |
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/array.ml b/stdlib/array.ml index 20d949675..88428fd78 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -200,7 +200,7 @@ let sort cmp a = let rec bubbledown l i = let j = maxson l i in set a i (get a j); - bubbledown l j; + bubbledown l j in let bubble l i = try bubbledown l i with Bottom i -> i in let rec trickleup i e = diff --git a/stdlib/lazy.ml b/stdlib/lazy.ml index 2faed9d3a..2af10859e 100644 --- a/stdlib/lazy.ml +++ b/stdlib/lazy.ml @@ -63,7 +63,7 @@ let force (l : 'arg t) = result with e -> Obj.set_field x 0 (Obj.repr (fun () -> raise e)); - raise e; + raise e end ;; diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index 0d48761f1..a72406922 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -47,12 +47,12 @@ let fields x = ;; let to_string = function - | Out_of_memory -> "Out of memory"; - | Stack_overflow -> "Stack overflow"; + | Out_of_memory -> "Out of memory" + | Stack_overflow -> "Stack overflow" | Match_failure(file, line, char) -> - sprintf locfmt file line char (char+5) "Pattern matching failed"; + sprintf locfmt file line char (char+5) "Pattern matching failed" | Assert_failure(file, line, char) -> - sprintf locfmt file line char (char+6) "Assertion failed"; + sprintf locfmt file line char (char+6) "Assertion failed" | x -> let x = Obj.repr x in let constructor = (Obj.magic(Obj.field (Obj.field x 0) 0) : string) in |