diff options
Diffstat (limited to 'typing/includemod.mli')
| -rw-r--r-- | typing/includemod.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/typing/includemod.mli b/typing/includemod.mli index 39b610345f..4de7eee1f6 100644 --- a/typing/includemod.mli +++ b/typing/includemod.mli @@ -77,7 +77,10 @@ type symptom = | Invalid_module_alias of Path.t type pos = - Module of Ident.t | Modtype of Ident.t | Arg of Ident.t | Body of Ident.t + | Module of Ident.t + | Modtype of Ident.t + | Arg of functor_parameter + | Body of functor_parameter type error = pos list * Env.t * symptom exception Error of error list |