summaryrefslogtreecommitdiff
path: root/typing/typecore.mli
diff options
context:
space:
mode:
Diffstat (limited to 'typing/typecore.mli')
-rw-r--r--typing/typecore.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/typecore.mli b/typing/typecore.mli
index 788ec75f25..ec74fa5bc3 100644
--- a/typing/typecore.mli
+++ b/typing/typecore.mli
@@ -84,6 +84,8 @@ type error =
| Scoping_let_module of string * type_expr
| Masked_instance_variable of Longident.t
| Not_a_variant_type of Longident.t
+ | Unbound_module of Longident.t
+ | Structure_expected of module_type
exception Error of Location.t * error