|
@@ -590,7 +590,7 @@ and parse_type_path_or_const = parser
|
|
|
| [< '(Kwd True,p) >] -> TPExpr (EConst (Ident "true"),p)
|
|
|
| [< '(Kwd False,p) >] -> TPExpr (EConst (Ident "false"),p)
|
|
|
| [< e = expr >] -> TPExpr e
|
|
|
- | [< >] -> serror()
|
|
|
+ | [< >] -> if !in_display then raise Stream.Failure else serror()
|
|
|
|
|
|
and parse_complex_type_next (t : type_hint) s =
|
|
|
let make_fun t2 p2 = match t2 with
|