Terms.casl.asMixfixTerms.output revision 59316321b20af89de1c2d4cd53183e04b72662c4
a_a
*** Error 4.1, expected further mixfix token: ["!","!=","*","+","-"]
123
1.2
1
1.2E3
0E1
12.23E34
"bla"
""
'a'
[ a, b ]
[ a, b ]
[ a, b ]
*** Error 20.1-20.8, expected further mixfix token: ["p","x"]
*** Error 21.1-21.4, expected further mixfix token: ["(","(var )"]
*** Error 22.7, unexpected mixfix token: b
*** Error 23.10, expected further mixfix token: ["p","x","["]
*** Error 23.7, unexpected mixfix token: b
*** Error 24.8, unexpected mixfix token: b
*** Error 25.1-25.11, expected further mixfix token: ["p","x","["]
*** Error 25.8, unexpected mixfix token: b
*** Error 26.7, unexpected mixfix token: b
*** Error 27.7, unexpected mixfix token: b
*** Error 28.8, unexpected mixfix token: b
*** Error 29.8, unexpected mixfix token: b
*** Error 30.7, unexpected mixfix token: b
*** Error 31.7, unexpected mixfix token: b
*** Error 32.8, unexpected mixfix token: b
*** Error 33.8, unexpected mixfix token: b
*** Error 34.3, unexpected mixfix token: }
*** Error 35.3, unexpected mixfix token: }
*** Error 36.3, unexpected mixfix token: }
(var y : bb)
(op y : bb)
(op __<__ : a)
(op __<__ : a -> b)
(op __<__ : a ->? b)
(op __<__ : a ->? b)
(op __<__ : bb)
(op __<__ :? bb)
(op __<__ :? a)
(op __<__ : a)
(op __<__ : a)
ys as b
*** Error 49.2-49.10, expected further mixfix token: ["p","x"]
predy : bb
predy : bb
a when b else c
*** Error 54.1-54.3, expected further mixfix token: ["p","x"]
(pred y : bb)
(pred y : bb)
(pred y : ())
12.23E-34
+ 12.23E+34
- 12.23E-34
- 12.23E34
- 1
+ 2