summaryrefslogtreecommitdiffstats
path: root/camlp4/meta
diff options
context:
space:
mode:
authorMichel Mauny <Michel.Mauny@ensta.fr>2003-09-30 10:20:06 +0000
committerMichel Mauny <Michel.Mauny@ensta.fr>2003-09-30 10:20:06 +0000
commit39b0164003ce45344aacf0ce3a4c618922466ef6 (patch)
tree1fab3b0002012d7a5ede14659853d82ee6ffeddf /camlp4/meta
parent9336ed583bfc7849712311f7db1b2659b847c5e8 (diff)
Fixed bug #1860
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/meta')
-rw-r--r--camlp4/meta/pa_r.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/meta/pa_r.ml b/camlp4/meta/pa_r.ml
index 58a5784ff..98b2688ca 100644
--- a/camlp4/meta/pa_r.ml
+++ b/camlp4/meta/pa_r.ml
@@ -748,8 +748,8 @@ EXTEND
| i = LIDENT -> [i] ] ]
;
(* Labels *)
- ctyp: AFTER "arrow"
- [ NONA
+ ctyp: LEVEL "arrow"
+ [ RIGHTA
[ i = TILDEIDENT; ":"; t = SELF -> <:ctyp< ~ $i$ : $t$ >>
| i = LABEL; t = SELF -> <:ctyp< ~ $i$ : $t$ >>
| i = QUESTIONIDENT; ":"; t = SELF -> <:ctyp< ? $i$ : $t$ >>