diff options
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/topconstr.ml | 7 | ||||
| -rw-r--r-- | interp/topconstr.mli | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/interp/topconstr.ml b/interp/topconstr.ml index f8c0aeb870..81b4e8e94d 100644 --- a/interp/topconstr.ml +++ b/interp/topconstr.ml @@ -1218,7 +1218,12 @@ type module_ast = | CMapply of module_ast * module_ast | CMwith of module_ast * with_declaration_ast -type module_ast_inl = module_ast * bool (* honor the inline annotations or not *) +(* Which inline annotations should we honor, either None or the ones + whose level is less or equal to the given integer *) + +type inline = int option + +type module_ast_inl = module_ast * inline type 'a module_signature = | Enforce of 'a (* ... : T *) diff --git a/interp/topconstr.mli b/interp/topconstr.mli index 405db2d172..b7bac17bd0 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -264,7 +264,12 @@ type module_ast = | CMapply of module_ast * module_ast | CMwith of module_ast * with_declaration_ast -type module_ast_inl = module_ast * bool (** honor the inline annotations or not *) +(* Which inline annotations should we honor, either None or the ones + whose level is less or equal to the given integer *) + +type inline = int option + +type module_ast_inl = module_ast * inline type 'a module_signature = | Enforce of 'a (** ... : T *) |