Idris2/tests/idris2/perror001/expected

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 08:42:11 +03:00
1/1: Building PError (PError.idr)
Error: Parse error at line 5:1:
Expected ')' (next tokens: [identifier bar, identifier x, symbol =, let, identifier y, symbol =, literal 42, in, identifier y, symbol +])
	`1/1: Building PError (PError.idr)`
	`Error: Parse error at line 5:1:`
	`Expected ')' (next tokens: [identifier bar, identifier x, symbol =, let, identifier y, symbol =, literal 42, in, identifier y, symbol +])`