4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder*

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 1, column 1) unexpected mixfix token: *

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder**

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 2, column 1) unexpected mixfix token: **

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera_a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 3, column 1) unexpected mixfix token: a_a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder__

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 4, column 1) no resolution for term: __

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder123

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2E3

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder0E1

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder12.23E34

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder"bla"

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder""

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder<

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 13, column 1) unexpected mixfix token: <

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder<=

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 14, column 1) unexpected mixfix token: <=

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder.a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 15, column 1) unexpected mixfix token: .a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 16, column 1) unexpected mixfix token: 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder< [a, b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 17, column 1) unexpected mixfix token: <

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder<= [a, b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 18, column 1) unexpected mixfix token: <=

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder.a [a, b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 19, column 1) unexpected mixfix token: .a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder'a' [a, b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 20, column 1) unexpected mixfix token: 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder__ * __

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 21, column 1) no resolution for term: __ * __

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(a __ b)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 22, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(a __ b) a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 23, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb(a __ b)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 24, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb (a __ b) a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 25, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder{a __ b}

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 26, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder{a __ b} a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 27, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb {a __ b}

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 28, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb {a __ b} a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 29, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder[a __ b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 30, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder[a __ b] a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 31, column 7) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb [a __ b]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 32, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb [a __ b] a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 33, column 8) unexpected mixfix token: b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder({}, [ ], {[] {}})

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 34, column 3) unexpected mixfix token: }

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 34, column 14) unexpected mixfix token: }

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder{{}, [], {[] {}}}

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 35, column 3) unexpected mixfix token: }

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder[{}, [], {[] {}}]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 36, column 3) unexpected mixfix token: }

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(var y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a -> b)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a ->? b)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a ->? b)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :? bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :? a)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederys as b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 48, column 1) unexpected mixfix token: ys

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(predy y :bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 49, column 2) unexpected mixfix token: predy

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(predy :bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 50, column 2) unexpected mixfix token: predy

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(predy :bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 51, column 2) unexpected mixfix token: predy

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder# as b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 53, column 1) unexpected mixfix token: #

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera b when b c else a f g when f a f else f a f g when f a f else f

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 1) no resolution for term: a b

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 10) no resolution for term: b c

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 19) no resolution for term: a f g

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 30) no resolution for term: f a f

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 41) no resolution for term: f a f g

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 54, column 54) no resolution for term: f a f

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : ())