*** Error 1.1, unexpected mixfix token: *

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

*** Error 3.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

*** Error 16.1, unexpected mixfix token: 'a'

*** Error 17.1, unexpected mixfix token: <

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

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

*** Error 20.1, unexpected mixfix token: 'a'

*** Error 21.1-21.4, expected further mixfix token: ["(","(op )","(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)

*** Error 48.1, unexpected mixfix token: ys

*** Error 49.2, unexpected mixfix token: predy

*** Error 50.2, unexpected mixfix token: predy

*** Error 51.2, unexpected mixfix token: predy

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