*** Error 1.1, unexpected mixfix token: *

*** Error 2.1, unexpected mixfix token: **

a_a

*** Error 4.1, expected further mixfix token: ["!","!=","*","+","-"]

123

1.2

1

1.2E3

0E1

12.23E34

"bla"

""

*** Error 13.1, unexpected mixfix token: <

*** Error 14.1, unexpected mixfix token: <=

*** Error 15.1, unexpected mixfix token: .a

'a'

*** Error 17.1, unexpected mixfix token: <

*** Error 18.1, unexpected mixfix token: <=

*** Error 19.1, unexpected mixfix token: .a

*** Error 20.1-20.8, expected further mixfix token: ["p","x"]

*** Error 21.1-21.4, expected further mixfix token: ["(","(var )"]

*** Error 22.7, unexpected mixfix token: b

*** Error 23.10, expected further mixfix token: ["p","x","["]

*** Error 23.7, unexpected mixfix token: b

*** Error 24.8, unexpected mixfix token: b

*** Error 25.1-25.11, expected further mixfix token: ["p","x","["]

*** Error 25.8, unexpected mixfix token: b

*** Error 26.7, unexpected mixfix token: b

*** Error 27.7, unexpected mixfix token: b

*** Error 28.8, unexpected mixfix token: b

*** Error 29.8, unexpected mixfix token: b

*** Error 30.7, unexpected mixfix token: b

*** Error 31.7, unexpected mixfix token: b

*** Error 32.8, unexpected mixfix token: b

*** Error 33.8, unexpected mixfix token: b

*** Error 34.1, unexpected mixfix token: (

*** Error 35.3, unexpected mixfix token: }

*** Error 36.3, unexpected mixfix token: }

(var y : bb)

(op y : bb)

(op __<__ : a)

(op __<__ : a -> b)

(op __<__ : a ->? b)

(op __<__ : a ->? b)

(op __<__ : bb)

(op __<__ :? bb)

(op __<__ :? a)

(op __<__ : a)

(op __<__ : a)

ys as b

*** Error 49.2-49.10, expected further mixfix token: ["p","x"]

predy : bb

predy : bb

a when b else c

*** Error 53.1, unexpected mixfix token: #

*** Error 54.1-54.3, expected further mixfix token: ["p","x"]

(pred y : bb)

(pred y : bb)

(pred y : ())

12.23E-34

+ 12.23E+34

- 12.23E-34

- 12.23E34

- 1

+ 2

12.23E34 : a as a : a

(- - a) : a

a ! ! : a

(a + b) : c

- (op f__ : a -> a)(a) ! : a