2
0
Эх сурвалжийг харах

[parser] never catch Stream.Error when not in display mode

closes #3915
Simon Krajewski 7 жил өмнө
parent
commit
6b6260cc9a

+ 1 - 1
src/syntax/grammar.mly

@@ -873,7 +873,7 @@ and block_with_pos' acc f p s =
 	with
 		| Stream.Failure ->
 			List.rev acc,p
-		| Stream.Error _ ->
+		| Stream.Error _ when !in_display ->
 			let tk , pos = next_token s in
 			(!display_error) (Unexpected tk) pos;
 			block_with_pos acc pos s