diff options
author | Son Ho | 2022-11-11 16:34:09 +0100 |
---|---|---|
committer | Son Ho | 2022-11-11 16:34:09 +0100 |
commit | 9408cb898409da5588510233577a20468fac634f (patch) | |
tree | c18f0836bfbafc43b1df08fd5d050905ed57bf84 /compiler/Pure.ml | |
parent | f58d3bcea55c06921ad332e6c820b96a5d9d2c37 (diff) |
Fix some issues with the comments
Diffstat (limited to '')
-rw-r--r-- | compiler/Pure.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index fc18dbd3..fda2b3a6 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -48,7 +48,7 @@ let option_none_id = T.option_none_id type type_id = AdtId of TypeDeclId.id | Tuple | Assumed of assumed_ty [@@deriving show, ord] -(** Ancestor for iter visitor for {!Pure.ty} *) +(** Ancestor for iter visitor for [ty] *) class ['self] iter_ty_base = object (_self : 'self) inherit [_] VisitorsRuntime.iter @@ -57,7 +57,7 @@ class ['self] iter_ty_base = method visit_integer_type : 'env -> integer_type -> unit = fun _ _ -> () end -(** Ancestor for map visitor for {!Pure.ty} *) +(** Ancestor for map visitor for [ty] *) class ['self] map_ty_base = object (_self : 'self) inherit [_] VisitorsRuntime.map @@ -498,9 +498,9 @@ and meta = type fun_effect_info = { stateful_group : bool; (** [true] if the function group is stateful. By *function group*, we mean - the set { forward function } U { backward functions }. + the set [{ forward function } U { backward functions }]. - We need this because the option {!Translate.eval_config.backward_no_state_update}: + We need this because of the option {!Config.backward_no_state_update}: if it is [true], then in case of a backward function {!stateful} is [false], but we might need to know whether the corresponding forward function is stateful or not. |