WrongMixfixTerms.casl.output revision feb3da029bdab54fe36ff704ca242ab4536b3bc1
2b873214c9ab511bbca437c036371ab664aedaceChristian MaederError (line 1, column 1) ambiguous mixfix term
c092fcac4b8f5c524c22ca579189c4487c13edf7Christian MaederError (line 2, column 1) expected further mixfix token: ["p","x"]
54ed6a6b1a6c7d27fadb39ec5b59d0806c81f7c8Christian MaederError (line 3, column 1) expected further mixfix token: ["p","x"]
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiError (line 4, column 1) expected further mixfix token: ["(__)"]
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederError (line 5, column 1) expected further mixfix token: ["(__)","__"]
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiError (line 6, column 3) unexpected mixfix token: <
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiError (line 7, column 3) unexpected mixfix token: <
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 8, column 1) expected further mixfix token: ["(var )","(op )","("]
c092fcac4b8f5c524c22ca579189c4487c13edf7Christian MaederError (line 9, column 1) unexpected mixfix token: (
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1Christian MaederError (line 10, column 13) unexpected mixfix token: ,
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 11, column 10) not a predicate: __+__
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 12, column 8) not a formula: (op a:b)
da955132262baab309a50fdffe228c9efe68251dCui JianError (line 13, column 8) not a formula: (var a:b)
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1Christian MaederError (line 14, column 8) not a predicate: f
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1Christian MaederError (line 15, column 9) not a predicate: f
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 16, column 10) not a predicate: f
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 17, column 8) not a formula: (op a:b)(a)
0799b5dc3f06d2640e66e9ab54b8b217348fd719Christian MaederError (line 18, column 1) ambiguous mixfix term
0799b5dc3f06d2640e66e9ab54b8b217348fd719Christian Maeder A__(__::__(a,[]))
91eeff7b19b22d7e5c5d83fa6e357496e291c718Christian MaederError (line 19, column 1) ambiguous mixfix term
fbc4f8708092d571a45cb483f37cc6b674da45a7Christian MaederError (line 20, column 1) ambiguous mixfix term
31bc219bae758272d0f064281b8ce7740a4553e9Till Mossakowski A__([__]__(a,A__([__]__(a,p))))
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowski __[__]__(A,a,A__([__]__(a,p)))
f77f29e84b3f6e791c82e61b13fbf76582bedd2fChristian Maeder A__([__]__(a,A__(__p(__::__(a,[])))))
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1Christian Maeder A__([__]__(a,A__(__p([__](a)))))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __[__]__(A,a,A__(__p(__::__(a,[]))))
f77f29e84b3f6e791c82e61b13fbf76582bedd2fChristian MaederError (line 21, column 1) ambiguous mixfix term
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian Maeder A__(__!(__::__(a,[])))
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder A__(__!([__](a)))
da333ffa6336cf59a4071fcddad358c5eafd3e61Sonja Gröning __!(__[__](A,a))
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder __!(__[a](A))
8ef91a173e69219fc2ebd45c76a35891c7785abdMarkus GrossError (line 22, column 1) ambiguous mixfix term
fc1a590cd3ee36797c0a032ff41e07f8e2469341Christian Maeder __::__(__::__(__::__(a,[]),[]),[])
a2b04db3e156312a8596d8084f7f0f51acf8a96bChristian Maeder [__](__::__(__::__(a,[]),[]))
0c885f1348fd58f7cb706472a3ff20b52dbef0a7Jonathan von Schroeder __::__([__](__::__(a,[])),[])
fc1a590cd3ee36797c0a032ff41e07f8e2469341Christian Maeder [__]([__](__::__(a,[])))
66a774f13272fde036481edd2298081ab3d04678Razvan Pascanu __::__(__::__([__](a),[]),[])
834c2e71b8e390e5b05c8d02bb6eb22621125133Markus GrossError (line 23, column 1) ambiguous mixfix term
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder __::__(b,__::__(A__(__::__(a,[])),[]))
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder __::__(b,__::__(A__([__](a)),[]))
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder __::__(b,__::__(__[__](A,a),[]))
6e52f1dfc0da4bc4a7701cf856641c9dce08fc7dChristian Maeder __::__(b,__::__(__[a](A),[]))
923e25bb8c7cf9f2978c7844ad173704482cc3b0Martin Kühl __::__(b,__::__(A[a],[]))
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213Kristina SojakovaError (line 24, column 1) ambiguous mixfix term
63da71bfb4226f504944b293fb77177ebcaea7d4Ewaryst Schulz __+__(b,[__]__(a,+__(b)))
e1ea9a046e9640148ca876dfe47e391559a9fdf3Christian Maeder __+__(__+__(b,__::__(a,[])),b)
14c89b2d830777bf4db2850f038c9f60acaca486Christian Maeder __+__(__+__(b,[__](a)),b)
57026bc09337d158b89775048a9bcc9c17d825caChristian MaederError (line 25, column 1) ambiguous mixfix term
57026bc09337d158b89775048a9bcc9c17d825caChristian Maeder __::__(__+__(a,b),[])
57026bc09337d158b89775048a9bcc9c17d825caChristian Maeder [__](__+__(a,b))
9175e29c044318498a40f323f189f9dfd50378efChristian MaederError (line 26, column 1) ambiguous mixfix term
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederError (line 26, column 3) ambiguous mixfix term
fe495a0978e5aa70776103c37fb0eb2bd6abea69Eugen KuksaError (line 27, column 1) ambiguous mixfix term
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian Maeder -__(__::__(a,[]))
d27b1887e61f1dc53d77c37f59dbf5019242a686Christian MaederError (line 28, column 1) ambiguous mixfix term
52d922076b89f12234f721974e82531bc69a6f69Christian Maeder __+__(b,A__(__::__(a,[])))
8ef91a173e69219fc2ebd45c76a35891c7785abdMarkus Gross __+__(b,A__([__](a)))
8ef91a173e69219fc2ebd45c76a35891c7785abdMarkus Gross __+__(b,__[__](A,a))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __+__(b,__[a](A))
31bc219bae758272d0f064281b8ce7740a4553e9Till Mossakowski __+__(b,A[a])
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiError (line 29, column 1) ambiguous mixfix term
31bc219bae758272d0f064281b8ce7740a4553e9Till Mossakowski __!(__::__(a,[]))
a31430de8b0632d29f42634d6395e982bf31b14dChristian MaederError (line 30, column 1) ambiguous mixfix term
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(A__([__]__(a,+__(b))),[])
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder [__](A__([__]__(a,+__(b))))
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(__[__]__(A,a,+__(b)),[])
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder [__](__[__]__(A,a,+__(b)))
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(__+__(A__(__::__(a,[])),b),[])
a31430de8b0632d29f42634d6395e982bf31b14dChristian MaederError (line 31, column 1) ambiguous mixfix term
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(__+__(b,A__(__::__(a,[]))),[])
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder [__](__+__(b,A__(__::__(a,[]))))
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(__+__(b,A__([__](a))),[])
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder [__](__+__(b,A__([__](a))))
a31430de8b0632d29f42634d6395e982bf31b14dChristian Maeder __::__(__+__(b,__[__](A,a)),[])
9175e29c044318498a40f323f189f9dfd50378efChristian MaederError (line 32, column 1) ambiguous mixfix term
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __::__(A__(__::__(a,[])),__::__(A__(__::__(a,[])),[]))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __::__(A__([__](a)),__::__(A__(__::__(a,[])),[]))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __::__(__[__](A,a),__::__(A__(__::__(a,[])),[]))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __::__(__[a](A),__::__(A__(__::__(a,[])),[]))
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder __::__(A[a],__::__(A__(__::__(a,[])),[]))