|
@@ -484,6 +484,8 @@ and parse_type_path_or_const = parser
|
|
|
| [< '(BkOpen,p1); l = parse_array_decl; '(BkClose,p2); s >] -> TPExpr (EArrayDecl l, punion p1 p2)
|
|
|
| [< t = parse_complex_type >] -> TPType t
|
|
|
| [< '(Const c,p) >] -> TPExpr (EConst c,p)
|
|
|
+ | [< '(Kwd True,p) >] -> TPExpr (EConst (Ident "true"),p)
|
|
|
+ | [< '(Kwd False,p) >] -> TPExpr (EConst (Ident "false"),p)
|
|
|
| [< e = expr >] -> TPExpr e
|
|
|
| [< >] -> serror()
|
|
|
|
|
@@ -1154,4 +1156,4 @@ and toplevel_expr s =
|
|
|
and secure_expr s =
|
|
|
match s with parser
|
|
|
| [< e = expr >] -> e
|
|
|
- | [< >] -> serror()
|
|
|
+ | [< >] -> serror()
|