970N/A4 * x ^ 4 + 3 * x ^ 3 + 2 * x ^ 2 + 1 * x ^ 1 + 0 * x ^ 0

970N/A"ab\"\'\n\\"

970N/A12

970N/A12.1

1072N/A1E1

970N/A1.0E2

970N/A1.0E-23

970N/A12 + 34 * "afa"

970N/A"" + ""

970N/A(op x : a) (a, b)

970N/A*** Error 10.8, unknown type 'a'

970N/Aa

970N/Aa + b

970N/Aa (: (s + b) : s)

970N/A*** Error 13.3-13.9, not a class 's'

970N/Aparse error at 14.12:

970N/Aunexpected "as" or "a"

970N/Aexpecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

970N/A

970N/Aparse error at 15.7:

970N/Aunexpected "as" or "a"

970N/Aexpecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

970N/A

970N/A[ ]

970N/A+ a

970N/Aa + b

970N/Aa when a < b else b

970N/Aa when (pred a : b) else b

970N/A*** Error 20.16, unknown type 'b'

970N/A{ a b }

970N/A*** Error 22.1-22.5, ambiguous mixfix term

970N/A (a b) p

970N/A a b p

970N/A (a b) p

970N/A*** Error 23.1-23.5, ambiguous mixfix term

970N/A (q a) b

970N/A q a b

970N/A*** Error 24.1-24.4, ambiguous mixfix term

970N/A B ([ b ])

970N/A B [ b ]

970N/A*** Error 25.1-25.11, ambiguous mixfix term

970N/A B ((a (c :: ([ d ]))) :: ([ b ]))

970N/A B[a[c,d],b]

1105N/A[ a, [ c, d ], b ]

970N/A*** Error 27.1-27.10, ambiguous mixfix term

970N/A (a (c :: ([ d ]))) :: ([ b ])

970N/A a[c,d] :: ([ b ])

970N/Aa B [a[c,d],b] b

970N/Awhile while a do b od do c od

970N/Awhile while a do b od do while c do d od od

970N/A{ a { b c } }

970N/A*** Error 32.1-32.10, ambiguous mixfix term

970N/A a :: ([ (A (0 B)) ])

970N/A a :: ([ ((A 0) B) ])

970N/A*** Error 33.1-33.9, ambiguous mixfix term

970N/A A (A (0 B) B)

970N/A A (A ((0 B) B))

970N/A (A (A 0 B)) B

970N/A A (A (0 B)) B

970N/A*** Error 34.1-34.13, ambiguous mixfix term

970N/A (b + (A (0 B))) + b

970N/A (b + ((A 0) B)) + b

970N/A*** Error 35.1-35.7, ambiguous mixfix term

970N/A - (A (0 B))

970N/A - ((A 0) B)

970N/Aa ! ! !

970N/APl7 { nicht_wenden } -- folge_dem_Gang --> { nicht_wenden } Pl3 -->

970N/ARS3

970N/A--> RS6

1130N/A(a + b) * c

970N/Aa * (b * c)

970N/Ac * (a + b)

970N/Aa * b * c

970N/As n * c

970N/A(- a) !

970N/A