CASL/test/WrongMixfixTerms.casl.output

	WrongMixfixTerms.casl.output revision d186477ec3542a00bf4b0735a063fa2604c893ee
*** Error 1.1, ambiguous mixfix term
    [__](a)
    __::__(a,[])
*** Error 2.1, expected further mixfix token: ["p","x"]
*** Error 3.1, expected further mixfix token: ["p","x"]
*** Error 4.3, expected further mixfix token: ["(__)"]
*** Error 5.1, expected further mixfix token: ["(__)","__"]
*** Error 6.3, unexpected mixfix token: <
*** Error 7.3, unexpected mixfix token: <
*** Error 8.4, expected further mixfix token: ["(","(op )","(var )"]
*** Error 9.1, unexpected mixfix token: (
*** Error 10.13, unexpected mixfix token: ,
*** Error 11.10, not a predicate: __+__
*** Error 12.8, not a formula: (op a:b)
*** Error 13.8, not a formula: (var a:b)
*** Error 14.8, not a predicate: f
*** Error 15.9, not a predicate: f
*** Error 16.10, not a predicate: f
*** Error 17.8, not a formula: (op a:b)(a)
*** Error 18.1, ambiguous mixfix term
    A__([__](a))
    A[a]
    __[__](A,a)
    __[a](A)
*** Error 19.1, ambiguous mixfix term
    __[__](B,a)
    __[a](B)
*** Error 20.1, ambiguous mixfix term
    A__([__]__(a,A__([__]__(a,p))))
    __[__]__(A,a,A__([__]__(a,p)))
    __[__]__(A__([__]__(a,A)),a,p)
    ____p(A,[__]__(a,A__([__](a))))
    ____p(A[a],A__([__](a)))
*** Error 21.1, ambiguous mixfix term
    A__(__!([__](a)))
    __!(A[a])
*** Error 22.1, ambiguous mixfix term
    [__]([__]([__](a)))
    __::__([__]([__](a)),[])
*** Error 23.1, ambiguous mixfix term
    A__([__](a))
    A__(__::__(a,[]))
*** Error 24.1, ambiguous mixfix term
    __+__(b,[__]__(a,+__(b)))
    __+__(__+__(b,[__](a)),b)
*** Error 25.1, ambiguous mixfix term
    [__](__+__(a,b))
    __::__(__+__(a,b),[])
*** Error 26.1, ambiguous mixfix term
    A__([a])
    A([a])
*** Error 26.3, ambiguous mixfix term
    [__](a)
    __::__(a,[])
*** Error 27.1, ambiguous mixfix term
    -__([__](a))
    -__(__::__(a,[]))
*** Error 28.1, ambiguous mixfix term
    A__([__](a))
    A__(__::__(a,[]))
*** Error 29.1, ambiguous mixfix term
    __!([__](a))
    __!(__::__(a,[]))
*** Error 30.1, ambiguous mixfix term
    [__](A__([__]__(a,+__(b))))
    __::__(A__([__]__(a,+__(b))),[])
*** Error 31.1, ambiguous mixfix term
    [__](__+__(b,A__([__](a))))
    __::__(__+__(b,A__([__](a))),[])
*** Error 32.1, ambiguous mixfix term
    A__([__](a))
    A__(__::__(a,[]))
*** Error 32.1, ambiguous mixfix term
    A__([__](a))
    A__(__::__(a,[]))
*** Error 33.1, ambiguous mixfix term
    A__([__]__(a,+__(b)))
    __[__]__(A,a,+__(b))
    __+__(A__([__](a)),b)
    __+__(A[a],b)
*** Error 34.4, expected further mixfix token: ["*","+","-","-->","::"]