diff options
Diffstat (limited to 'typing/typemod.mli')
| -rw-r--r-- | typing/typemod.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typemod.mli b/typing/typemod.mli index 20868d33f7..051a283609 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -60,6 +60,7 @@ type error = | Scoping_pack of Longident.t * type_expr | Extension of string | Recursive_module_require_explicit_type + | Apply_generative exception Error of Location.t * Env.t * error |