*

Error (line 1, column 1) unexpected mixfix token: *

**

Error (line 2, column 1) unexpected mixfix token: **

a_a

Error (line 3, column 1) unexpected mixfix token: a_a

__

Error (line 4, column 1) no resolution for term: __

123

1.2

1

1.2E3

0E1

12.23E34

"bla"

""

<

Error (line 13, column 1) unexpected mixfix token: <

<=

Error (line 14, column 1) unexpected mixfix token: <=

.a

Error (line 15, column 1) unexpected mixfix token: .a

'a'

Error (line 16, column 1) unexpected mixfix token: 'a'

< [a, b]

Error (line 17, column 1) unexpected mixfix token: <

<= [a, b]

Error (line 18, column 1) unexpected mixfix token: <=

.a [a, b]

Error (line 19, column 1) unexpected mixfix token: .a

'a' [a, b]

Error (line 20, column 1) unexpected mixfix token: 'a'

__ * __

Error (line 21, column 1) no resolution for term: __ * __

(a __ b)

Error (line 22, column 7) unexpected mixfix token: b

(a __ b) a

Error (line 23, column 7) unexpected mixfix token: b

b(a __ b)

Error (line 24, column 8) unexpected mixfix token: b

b (a __ b) a

Error (line 25, column 8) unexpected mixfix token: b

{a __ b}

Error (line 26, column 7) unexpected mixfix token: b

{a __ b} a

Error (line 27, column 7) unexpected mixfix token: b

b {a __ b}

Error (line 28, column 8) unexpected mixfix token: b

b {a __ b} a

Error (line 29, column 8) unexpected mixfix token: b

[a __ b]

Error (line 30, column 7) unexpected mixfix token: b

[a __ b] a

Error (line 31, column 7) unexpected mixfix token: b

b [a __ b]

Error (line 32, column 8) unexpected mixfix token: b

b [a __ b] a

Error (line 33, column 8) unexpected mixfix token: b

({}, [ ], {[] {}})

Error (line 34, column 3) unexpected mixfix token: }

Error (line 34, column 14) unexpected mixfix token: }

{{}, [], {[] {}}}

Error (line 35, column 3) unexpected mixfix token: }

[{}, [], {[] {}}]

Error (line 36, column 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 (line 48, column 1) unexpected mixfix token: ys

(predy y :bb)

Error (line 49, column 2) unexpected mixfix token: predy

(predy :bb)

Error (line 50, column 2) unexpected mixfix token: predy

(predy :bb)

Error (line 51, column 2) unexpected mixfix token: predy

a when b else c

# as b

Error (line 53, column 1) unexpected mixfix token: #

a b when b c else a f g when f a f else f a f g when f a f else f

Error (line 54, column 1) no resolution for term: a b

Error (line 54, column 10) no resolution for term: b c

Error (line 54, column 19) no resolution for term: a f g

Error (line 54, column 30) no resolution for term: f a f

Error (line 54, column 41) no resolution for term: f a f g

Error (line 54, column 54) no resolution for term: f a f

(pred y : bb)

(pred y : bb)

(pred y : ())