1.1: *** Error: unexpected mixfix token: *

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

a_a

4.1:

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

123

1.2

1

1.2E3

0E1

12.23E34

"bla"

""

13.1: *** Error: unexpected mixfix token: <

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

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

'a'

17.1: *** Error: unexpected mixfix token: <

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

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

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

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

22.7: *** Error: unexpected mixfix token: b

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

23.7: *** Error: unexpected mixfix token: b

24.8: *** Error: unexpected mixfix token: b

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

25.8: *** Error: unexpected mixfix token: b

26.7: *** Error: unexpected mixfix token: b

27.7: *** Error: unexpected mixfix token: b

28.8: *** Error: unexpected mixfix token: b

29.8: *** Error: unexpected mixfix token: b

30.7: *** Error: unexpected mixfix token: b

31.7: *** Error: unexpected mixfix token: b

32.8: *** Error: unexpected mixfix token: b

33.8: *** Error: unexpected mixfix token: b

34.1: *** Error: unexpected mixfix token: (

35.3: *** Error: unexpected mixfix token: }

36.3: *** Error: 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

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

predy : bb

predy : bb

a when b else c

53.1: *** Error: unexpected mixfix token: #

54.1-54.3: *** Error: 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