diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 21:33:15 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 21:33:15 +0000 |
| commit | 4db01f01b6157201fb9f7baf5cf2c7ec805a3e78 (patch) | |
| tree | 655307e8e957fc02638540ba9c60190335300a69 | |
| parent | ac3d343a257ab6a85375ebe45bbd9e8351f76ae6 (diff) | |
| download | ocaml-4db01f01b6157201fb9f7baf5cf2c7ec805a3e78.tar.gz | |
#5358: update the Camlp4 ast translator to support constraints on types in sub-modules in package types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml index a1a6eff184..b1e1e42167 100644 --- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml +++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml @@ -286,8 +286,8 @@ module Make (Ast : Sig.Camlp4Ast) = struct and package_type_constraints wc acc = match wc with [ <:with_constr<>> -> acc - | <:with_constr< type $lid:id$ = $ct$ >> -> - [(Lident id, ctyp ct) :: acc] + | <:with_constr< type $id:id$ = $ct$ >> -> + [(ident id, ctyp ct) :: acc] | <:with_constr< $wc1$ and $wc2$ >> -> package_type_constraints wc1 (package_type_constraints wc2 acc) | _ -> error (loc_of_with_constr wc) "unexpected `with constraint' for a package type" ] |