diff options
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 |