From 8920564f9e02da5be38697d14982998b805dd02b Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Tue, 4 Jul 2023 10:01:51 +0200 Subject: [PATCH] Fix some documentation comments formatting --- compiler/lcalc/closure_conversion.ml | 4 ++-- runtimes/ocaml/runtime.mli | 5 ++++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/compiler/lcalc/closure_conversion.ml b/compiler/lcalc/closure_conversion.ml index f63486c4..4fd9d95f 100644 --- a/compiler/lcalc/closure_conversion.ml +++ b/compiler/lcalc/closure_conversion.ml @@ -27,7 +27,7 @@ type 'm ctx = { let tys_as_tanys tys = List.map (fun x -> Mark.map (fun _ -> TAny) x) tys -(** { 1 Transforming closures}*) +(** {1 Transforming closures}*) (** Returns the expression with closed closures and the set of free variables inside this new expression. Implementation guided by @@ -572,7 +572,7 @@ let hoist_closures_program (p : 'm program) : 'm program Bindlib.box = (fun new_code_items -> { p with code_items = new_code_items }) new_code_items -(** { 1 Closure conversion }*) +(** {1 Closure conversion}*) let closure_conversion (p : 'm program) : 'm program Bindlib.box = let new_p = transform_closures_program p in diff --git a/runtimes/ocaml/runtime.mli b/runtimes/ocaml/runtime.mli index 9d2f4a90..59cfec70 100644 --- a/runtimes/ocaml/runtime.mli +++ b/runtimes/ocaml/runtime.mli @@ -21,7 +21,10 @@ type nonrec unit = unit type nonrec bool = bool -type money = Z.t (** Number of cents *) + +type money = Z.t +(** Number of cents *) + type integer = Z.t type decimal = Q.t type date = Dates_calc.Dates.date