CASL/test/Terms.casl.asMixfixTerms.output

	Terms.casl.asMixfixTerms.output revision ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maedera_a
b502963581a463467939d578b211cb7a173c5428Christian Maeder*** Error 4.1, expected further mixfix token: ["!","!=","*","+","-"]
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder123
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder1.2E3
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder0E1
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder12.23E34
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder"bla"
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder""
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maeder'a'
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder[ a, b ]
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder[ a, b ]
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder[ a, b ]
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maeder*** Error 20.1-20.8, expected further mixfix token: ["p","x"]
704862436e50e42e50e5b84fd7cd2c1b65f62483Christian Maeder*** Error 21.1-21.4, expected further mixfix token: ["(","(var )"]
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 22.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 23.10, expected further mixfix token: ["p","x","["]
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 23.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 24.8, unexpected mixfix token: b
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder*** Error 25.1-25.11, expected further mixfix token: ["p","x","["]
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 25.8, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 26.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 27.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 28.8, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 29.8, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 30.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 31.7, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 32.8, unexpected mixfix token: b
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 33.8, unexpected mixfix token: b
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder*** Error 34.3, unexpected mixfix token: }
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 35.3, unexpected mixfix token: }
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 36.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)
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maederys as b
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5Christian Maeder*** Error 49.2-49.10, expected further mixfix token: ["p","x"]
59316321b20af89de1c2d4cd53183e04b72662c4Christian Maederpredy : bb
59316321b20af89de1c2d4cd53183e04b72662c4Christian Maederpredy : bb
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c
46199904d5e648bc1a25108f60a94078ffb99b30Christian Maeder
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder*** Error 54.1-54.3, 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