|
@@ -882,8 +882,9 @@ and meta_name p1 = parser
|
|
| [< '(Const (Ident i),p) when p.pmin = p1.pmax >] -> (Meta.Custom i), p
|
|
| [< '(Const (Ident i),p) when p.pmin = p1.pmax >] -> (Meta.Custom i), p
|
|
| [< '(Kwd k,p) when p.pmin = p1.pmax >] -> (Meta.Custom (s_keyword k)),p
|
|
| [< '(Kwd k,p) when p.pmin = p1.pmax >] -> (Meta.Custom (s_keyword k)),p
|
|
| [< '(DblDot,p) when p.pmin = p1.pmax; s >] -> match s with parser
|
|
| [< '(DblDot,p) when p.pmin = p1.pmax; s >] -> match s with parser
|
|
- | [< '(Const (Ident i),p) >] -> (Meta.parse i), p
|
|
|
|
- | [< '(Kwd k,p) >] -> (Meta.parse (s_keyword k)),p
|
|
|
|
|
|
+ | [< '(Const (Ident i),p1) when p1.pmin = p.pmax >] -> (Meta.parse i),punion p p1
|
|
|
|
+ | [< '(Kwd k,p1) when p1.pmin = p.pmax >] -> (Meta.parse (s_keyword k)),punion p p1
|
|
|
|
+ | [< >] -> if is_resuming p then Meta.Last,p else raise Stream.Failure
|
|
|
|
|
|
and parse_enum_flags = parser
|
|
and parse_enum_flags = parser
|
|
| [< '(Kwd Enum,p) >] -> [] , p
|
|
| [< '(Kwd Enum,p) >] -> [] , p
|