diff options
author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-09-30 10:20:06 +0000 |
---|---|---|
committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-09-30 10:20:06 +0000 |
commit | 39b0164003ce45344aacf0ce3a4c618922466ef6 (patch) | |
tree | 1fab3b0002012d7a5ede14659853d82ee6ffeddf /camlp4/meta | |
parent | 9336ed583bfc7849712311f7db1b2659b847c5e8 (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.ml | 4 |
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$ >> |