MixfixTerms.casl.output revision 15939a6f42810003d34d446de5de46f2994ab2ee
eb8bd58b5980a12a7f60ed40f9baf7263bc53946Jonathan von Schroeder(__+__)((__+__)((__+__)((__+__)((__*__)(4, (__^__)(x, 4)),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__*__)(3, (__^__)(x, 3))),
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner (__*__)(2, (__^__)(x, 2))),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__*__)(1, (__^__)(x, 1))),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__*__)(0, (__^__)(x, 0)))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::::__)('b',
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::::__)('\"',
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::::__)('\'', (__::::__)('\n', (__::::__)('\\', empty))))))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__:::__)((__@@__)(1, 2), 1)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__E__)((__:::__)(1, 0), 2)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__E__)((__:::__)(1, 0), -((__@@__)(2, 3)))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__+__)((__@@__)(1, 2),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__*__)((__@@__)(3, 4),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::::__)('a', (__::::__)('f', (__::::__)('a', empty)))))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__+__)(empty, empty)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(op x : a) (a, b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederparse error at 14.12:
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederunexpected "as" or "a"
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederexpecting [<id>,...,<id>], "%%", "%{", "%(", "%", "+", "-", "->", cross, "->?", "-->", "-->?", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederparse error at 15.7:
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederunexpected "as" or "a"
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroederexpecting [<id>,...,<id>], "%%", "%{", "%(", "%", "+", "-", "->", cross, "->?", "-->", "-->?", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__when__else__)(a, (__<__)(a, b), b)
eb8bd58b5980a12a7f60ed40f9baf7263bc53946Jonathan von Schroeder(__when__else__)(a, (predfun a : b ->? Unit), b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 23.1, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 24.1, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder B ((__::__)(b, ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 25.1, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder B ((__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([]))))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::__)((__::__)(c, (__::__)(d, ([]))), (__::__)(b, ([]))))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 10.18, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::__)((a[c,d]), (__::__)(b, ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__B[a[c,d],b]__) (a, b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(while__do__od)((while__do__od)(a, b), c)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(while__do__od)((while__do__od)(a, b), (while__do__od)(c, d))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder({____})(a, ({____})(b, c))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__::__)(a, (__::__)((A__)(0 B), ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 10.18, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::__)(a, (__::__)((A__)(0 B), ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__::__)(a, (__::__)((A__B)(0), ([])))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 33.1, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (A__)((A__)(0 B B))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (A__B)((A__)(0)) B
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (A__B)((A__)(0 B))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__+__)((__+__)(b, (A__)(0 B)), b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 34.11, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__+__)((__+__)(b, (A__)(0 B)), b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (__+__)((__+__)(b, (A__B)(0)), b)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(-__)((A__)(0 B))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder*** Error 35.1, ambiguous mixfix term
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (-__)((A__)(0 B))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder (-__)((A__B)(0))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__!)((__!)((__!)(a)))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__-->__)((__-->__)((__{__}--__-->{__}__)(Pl7, nicht_wenden,
b8506d54f5f02f1f6914ce83bb07848407386531Christian Maeder folge_dem_Gang, nicht_wenden, Pl3),
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__*__)((__+__)(a, b), c)
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__*__)(a, (__*__)(b, c))
c10f6b3d0617371b9759cd2db422832e44e74bd3Jonathan von Schroeder(__*__)(c, (__+__)(a, b))
ae12c43375fbabc73599256968b4186020a0ebb7Jonathan von Schroeder(__*__)((__*__)(a, b), c)