035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder1.1: *** Error: unexpected mixfix token: *

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder2.1: *** Error: unexpected mixfix token: **

b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maedera_a

5de34eba726f63d1522bf17a857309a6208ce0b5Christian Maeder4.1: *** Error:

5de34eba726f63d1522bf17a857309a6208ce0b5Christian Maederexpected further mixfix token: ["!","!=","*","+","-"]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder123

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2E3

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder0E1

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder12.23E34

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder"bla"

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder""

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder13.1: *** Error: unexpected mixfix token: <

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder14.1: *** Error: unexpected mixfix token: <=

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder15.1: *** Error: unexpected mixfix token: .a

b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maeder'a'

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder17.1: *** Error: unexpected mixfix token: <

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder18.1: *** Error: unexpected mixfix token: <=

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder19.1: *** Error: unexpected mixfix token: .a

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder20.1-20.8: *** Error: expected further mixfix token: ["p","x"]

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder21.1-21.4: *** Error: expected further mixfix token: ["(","(var )"]

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder22.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder23.8-23.10: *** Error: expected further mixfix token: ["p","x","["]

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder23.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder24.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder25.9-25.11: *** Error: expected further mixfix token: ["p","x","["]

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder25.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder26.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder27.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder28.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder29.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder30.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder31.7: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder32.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder33.8: *** Error: unexpected mixfix token: b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder34.1: *** Error: unexpected mixfix token: (

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder35.3: *** Error: unexpected mixfix token: }

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder36.3: *** Error: 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)

b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maederys as b

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder49.2-49.10: *** Error: expected further mixfix token: ["p","x"]

59316321b20af89de1c2d4cd53183e04b72662c4Christian Maederpredy : bb

59316321b20af89de1c2d4cd53183e04b72662c4Christian Maederpredy : bb

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder53.1: *** Error: unexpected mixfix token: #

035384b063bfd4704a0944d1b2f1d817cc384693Christian Maeder54.1-54.3: *** Error: expected further mixfix token: ["p","x"]

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : bb)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : ())

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder12.23E-34

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder+ 12.23E+34

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder- 12.23E-34

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder- 12.23E34

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder- 1

fd28ce71068bc46a4e1bba587a978206959c62abChristian Maeder+ 2

ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder12.23E34 : a as a : a

ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder(- - a) : a

ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maedera ! ! : a

ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder(a + b) : c

ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder- (op f__ : a -> a)(a) ! : a