diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 18:00:40 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 18:00:40 +0000 |
| commit | b50f1df8ff4b56b679f3719d42a1d41266da54af (patch) | |
| tree | fa8bbcac769ed023f585864cea377c374870ae95 | |
| parent | e10723e701f219df799548e8b07025585eafbecf (diff) | |
#5358: update Camlp4 to support constraints on types in sub-modules in package types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlParser.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml index 087a464b5..36606cdd3 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlParser.ml @@ -430,8 +430,8 @@ module Make (Syntax : Sig.Camlp4Syntax) = struct ] ] ; package_type_cstr: - [ [ "type"; i = a_LIDENT; "="; ty = ctyp -> - <:with_constr< type $lid:i$ = $ty$ >> + [ [ "type"; i = ident; "="; ty = ctyp -> + <:with_constr< type $id:i$ = $ty$ >> ] ] ; package_type_cstrs: |