a_a

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

123

1.2

1

1.2E3

0E1

12.23E34

"bla"

""

'a'

[ a, b ]

[ a, b ]

[ a, b ]

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