1 2 3 4 5 6 7 8 9 10 11 12
original.name="Coercion_Invalid_6" ====== >>> main.whiley type pos is (int x) where x >= 0 type neg is (int x) where x < 0 type A1 is ((pos|neg)[] x) function f() -> (A1 r): return [0,1,2] --- E400 main.whiley 7,12