diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
| commit | 3c5ecdcfa6247ceafa198ce619f8317da731f46c (patch) | |
| tree | 0f9ececf5d75c129dade597b46951a679c2f6c92 /lambda | |
| parent | 8b2be670a53f6329950726dd15f55edfa58d12c1 (diff) | |
| download | ocaml-3c5ecdcfa6247ceafa198ce619f8317da731f46c.tar.gz | |
Remove uses of ;; from the codebase
Diffstat (limited to 'lambda')
| -rw-r--r-- | lambda/printlambda.ml | 3 | ||||
| -rw-r--r-- | lambda/switch.ml | 2 | ||||
| -rw-r--r-- | lambda/translclass.ml | 2 | ||||
| -rw-r--r-- | lambda/translclass.mli | 2 | ||||
| -rw-r--r-- | lambda/translcore.ml | 1 |
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 |
