original.name="Tuple_Invalid_5" js.execute.ignore=true ====== >>> main.whiley type nat is (int n) where n >= 0 type pair is {nat first, int second} function get(pair p) -> (int f, int s): return p.first, p.second function min(pair p) -> int: (int x, int y) = get(p) if x > y: return y else: return x public export method test(): int m = min({first: -1, second: 1}) --- E702 main.whiley 15,16:37 E716 main.whiley 15,12:38