CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-16 14:57:13 +03:00
Code Issues Projects Releases Wiki Activity

Fix some documentation comments formatting

Browse Source
This commit is contained in:
Louis Gesbert 2023-07-04 10:01:51 +02:00
parent 98f712365e
commit 8920564f9e
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/lcalc/closure_conversion.ml
View File

@ -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

5
runtimes/ocaml/runtime.mli
View File

@ -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