summaryrefslogtreecommitdiff
path: root/lambda
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-02-25 10:08:09 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-02-25 10:08:09 +0100
commit3c5ecdcfa6247ceafa198ce619f8317da731f46c (patch)
tree0f9ececf5d75c129dade597b46951a679c2f6c92 /lambda
parent8b2be670a53f6329950726dd15f55edfa58d12c1 (diff)
downloadocaml-3c5ecdcfa6247ceafa198ce619f8317da731f46c.tar.gz
Remove uses of ;; from the codebase
Diffstat (limited to 'lambda')
-rw-r--r--lambda/printlambda.ml3
-rw-r--r--lambda/switch.ml2
-rw-r--r--lambda/translclass.ml2
-rw-r--r--lambda/translclass.mli2
-rw-r--r--lambda/translcore.ml1
5 files changed, 3 insertions, 7 deletions
diff --git a/lambda/printlambda.ml b/lambda/printlambda.ml
index 9f16612e2c..0d8aff08f6 100644
--- a/lambda/printlambda.ml
+++ b/lambda/printlambda.ml
@@ -80,7 +80,7 @@ let boxed_integer_mark name = function
| Pint64 -> Printf.sprintf "Int64.%s" name
let print_boxed_integer name ppf bi =
- fprintf ppf "%s" (boxed_integer_mark name bi);;
+ fprintf ppf "%s" (boxed_integer_mark name bi)
let print_bigarray name unsafe kind ppf layout =
fprintf ppf "Bigarray.%s[%s,%s]"
@@ -112,7 +112,6 @@ let record_rep ppf r =
| Record_unboxed true -> fprintf ppf "inlined(unboxed)"
| Record_float -> fprintf ppf "float"
| Record_extension path -> fprintf ppf "ext(%a)" Printtyp.path path
-;;
let block_shape ppf shape = match shape with
| None | Some [] -> ()
diff --git a/lambda/switch.ml b/lambda/switch.ml
index 53115892d6..cc4074445b 100644
--- a/lambda/switch.ml
+++ b/lambda/switch.ml
@@ -837,7 +837,6 @@ let rec pkey chan = function
let acts = Array.make !index (fun _ -> assert false) in
Hashtbl.iter (fun _ (i,act) -> acts.(i) <- act) t ;
{cases = r ; actions = acts}
- ;;
let do_zyva loc (low,high) arg cases actions =
@@ -892,6 +891,5 @@ let rec pkey chan = function
prerr_endline "" ;
*)
hs (c_test {arg=arg ; off=0} s)
- ;;
end
diff --git a/lambda/translclass.ml b/lambda/translclass.ml
index cce6af75ea..f84376034f 100644
--- a/lambda/translclass.ml
+++ b/lambda/translclass.ml
@@ -58,7 +58,7 @@ let mkappl (func, args) =
ap_tailcall=Default_tailcall;
ap_inlined=Default_inline;
ap_specialised=Default_specialise;
- };;
+ }
let lsequence l1 l2 =
if l2 = lambda_unit then l1 else Lsequence(l1, l2)
diff --git a/lambda/translclass.mli b/lambda/translclass.mli
index f2c5c1d5e3..848e99d005 100644
--- a/lambda/translclass.mli
+++ b/lambda/translclass.mli
@@ -19,7 +19,7 @@ open Debuginfo.Scoped_location
val transl_class :
scopes:scopes -> Ident.t list -> Ident.t ->
- string list -> class_expr -> Asttypes.virtual_flag -> lambda;;
+ string list -> class_expr -> Asttypes.virtual_flag -> lambda
type error = Tags of string * string
diff --git a/lambda/translcore.ml b/lambda/translcore.ml
index 9928289731..ba220958b8 100644
--- a/lambda/translcore.ml
+++ b/lambda/translcore.ml
@@ -203,7 +203,6 @@ let assert_failed ~scopes exp =
[Const_base(Const_string (fname, exp.exp_loc, None));
Const_base(Const_int line);
Const_base(Const_int char)]))], loc))], loc)
-;;
let rec cut n l =
if n = 0 then ([],l) else