load "infix-examples.acg";
check signature=Integer < "a + b + c + a +  | b + d : int";
(* Is interpreted as:
   a + (b + (c + (a + ((| b) + d)))) : int *)

check signature=Integer < " a + b + c + a + ! | b + d : int";
(* Is interpreted as:
   a + (b + (c + (a + ((! (| b)) + d)))) : int *)

check signature=Integer < " a + b * c : int";
(* Is interpreted as:
    a + (b * c) : int *)

check signature=Integer < " a - b - b + c : int";
(* Is interpreted as:
   (a - b) - (b + c) : int *)

check signature=Integer < " a / b / c : int";
(* Raises an error as "/" is defined as non-associative *)