Terms.casl.asMixfixTerms.output revision fd28ce71068bc46a4e1bba587a978206959c62ab
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 1.1, unexpected mixfix token: *
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 2.1, unexpected mixfix token: **
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 3.1, unexpected mixfix token: a_a
b502963581a463467939d578b211cb7a173c5428Christian Maeder*** Error 4.1, expected further mixfix token: ["!","!=","*","+","-"]
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 13.1, unexpected mixfix token: <
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 14.1, unexpected mixfix token: <=
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 15.1, unexpected mixfix token: .a
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 16.1, unexpected mixfix token: 'a'
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 17.1, unexpected mixfix token: <
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 18.1, unexpected mixfix token: <=
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 19.1, unexpected mixfix token: .a
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 20.1, unexpected mixfix token: 'a'
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder*** Error 21.1-21.4, expected further mixfix token: ["(","(op )","(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
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 34.1, 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)
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 48.1, unexpected mixfix token: ys
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 49.2, unexpected mixfix token: predy
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 50.2, unexpected mixfix token: predy
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 51.2, unexpected mixfix token: predy
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c
d186477ec3542a00bf4b0735a063fa2604c893eeChristian Maeder*** Error 53.1, unexpected mixfix token: #
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder*** Error 54.1-54.3, expected further mixfix token: ["p","x"]