diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-12-18 09:00:37 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-12-18 09:00:37 +0000 |
| commit | ebb6348c1e6f68a4256ac84827e730ca6deac3e9 (patch) | |
| tree | af1fe68251b4b825cd652a2abbb3ded5e22a8986 | |
| parent | 756c4697ae1c31e5861fa5303966883ab795c850 (diff) | |
camlp4,fix: Correctly parse type quotations containing uppercase polymorphic variant (<:ctyp< `A >>)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml index 10b8d9938..9feaaec6e 100644 --- a/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml +++ b/camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml @@ -1634,7 +1634,7 @@ Very old (no more supported) syntax: ; more_ctyp: [ [ "mutable"; x = SELF -> <:ctyp< mutable $x$ >> - | "`"; x = a_LIDENT -> <:ctyp< `$x$ >> + | "`"; x = a_ident -> <:ctyp< `$x$ >> | x = type_kind -> x | x = type_parameter -> x ] ] |