Terms.casl.asMixfixTerms.output revision 59316321b20af89de1c2d4cd53183e04b72662c4
b502963581a463467939d578b211cb7a173c5428Christian Maeder*** Error 4.1, expected further mixfix token: ["!","!=","*","+","-"]
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(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 Maeder*** Error 49.2-49.10, expected further mixfix token: ["p","x"]
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder*** Error 54.1-54.3, expected further mixfix token: ["p","x"]