diff options
author | Alain Frisch <alain@frisch.fr> | 2011-12-14 10:26:15 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2011-12-14 10:26:15 +0000 |
commit | ece33530355ae5467593aa695138a9d858e0c71d (patch) | |
tree | efb6a399f5ba376f4ed59491059d1f8552a05b99 /typing/typemod.mli | |
parent | 01dceea3cc22f39706998ea0d0712290f0b1a86a (diff) | |
download | ocaml-ece33530355ae5467593aa695138a9d858e0c71d.tar.gz |
#5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typemod.mli')
-rw-r--r-- | typing/typemod.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typemod.mli b/typing/typemod.mli index aa2626c6da..a2c03aaa83 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -53,7 +53,7 @@ type error = | With_need_typeconstr | Not_a_packed_module of type_expr | Incomplete_packed_module of type_expr - | Scoping_pack of string * type_expr + | Scoping_pack of Longident.t * type_expr exception Error of Location.t * error |