mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-17 16:21:46 +03:00
11 lines
290 B
Plaintext
11 lines
290 B
Plaintext
1/1: Building PError (PError.idr)
|
|
Error: Lex error ComposeNotClosing (4, 16) (4, 17) at (4, 16) input: (42 in y + x
|
|
|
|
baz : Int -> Int
|
|
baz x = x
|
|
1/1: Building PError2 (PError2.idr)
|
|
Error: Lex error ComposeNotClosing (4, 17) (4, 18) at (4, 17) input: (42 in y + x
|
|
|
|
baz : Int -> Int
|
|
baz x = x
|