WrongMixfixTerms.casl.output revision d21f1db14625cb0a536fc06b46fcc115d48a25bb
[a]
Error (1,1) ambiguous mixfix term
[a]
[ a ]
(a) (b)
Error (2,1) no resolution for term: (a) (b)
a :s (a)
Error (3,1) no resolution for term: a :s (a)
a +
Error (4,1) no resolution for term: a +
+
Error (5,1) no resolution for term: +
a < b
Error (6,3) unexpected mixfix token: <
__ < __ (a, b)
Error (7,3) unexpected mixfix token: <
__ * __
Error (8,1) no resolution for term: __ * __
([a], (a) (b), a +, __ < __ (a, b))
Error (9,2) ambiguous mixfix term
[a]
[ a ]
Error (9,7) no resolution for term: (a) (b)
Error (9,15) no resolution for term: a +
Error (9,22) unexpected mixfix token: <
[[a], (a) (b), a +, __ < __ (a, b)]
Error (10,13) unexpected mixfix token: ,
a when a + b else b
Error (11,8) not a predicate: __+__
a when (op a : b) else b
Error (12,8) not a formula: (op a : b)
a when (var a : b) else b
Error (13,8) not a formula: (var a : b)
a when f else b
Error (14,8) not a predicate: f
a when f else b
Error (15,9) not a predicate: f
a when f else b
Error (16,10) not a predicate: f
a when (op a : b)(a) else b
Error (17,16) not a formula: (op a : b)(a)
A [a]
Error (18,1) ambiguous mixfix term
A [a]
A [ a ]
A [ a ]
A [ a ]
A[a]
B [a]
Error (19,1) ambiguous mixfix term
B [ a ]
B [ a ]
A [a] A [a] p
Error (20,1) ambiguous mixfix term
A [ a ] (A [ a ] p)
A [ a ] (A [ a ] p)
A [ a ] (A [a] p)
A [ a ] (A [ a ] p)
A [ a ] (A [a] p)
A [a] !
Error (21,1) ambiguous mixfix term
A [a] !
A [ a ] !
A [ a ] !
A [ a ] !
A[a] !
[[[a]]]
Error (22,1) ambiguous mixfix term
[[[a]]]
[ [[a]] ]
[[ [a] ]]
[ [ [a] ] ]
[[[ a ]]]
[b, A [a]]
Error (23,1) ambiguous mixfix term
[b, A [a]]
[b, A [ a ]]
[b, A [ a ]]
[b, A [ a ]]
[b, A[a]]
b + [a] + b
Error (24,1) ambiguous mixfix term
b + ([ a ] (+ b))
b + [a] + b
b + [ a ] + b
[a + b]
Error (25,1) ambiguous mixfix term
[a + b]
[ a + b ]
A ([a])
Error (26,1) ambiguous mixfix term
A [a]
A([a])
Error (26,3) ambiguous mixfix term
[a]
[ a ]
- [a]
Error (27,1) ambiguous mixfix term
- [a]
- [ a ]
b + A [a]
Error (28,1) ambiguous mixfix term
b + (A [a])
b + (A [ a ])
b + A [ a ]
b + A [ a ]
b + A[a]
[a] !
Error (29,1) ambiguous mixfix term
[a] !
[ a ] !