blob: 3a3526df89895710f612e284c3168ff0d0b6a11b (
plain) (
blame)
1
2
3
4
5
6
7
|
union_paren.erl:12: Function t2/0 has no local return
union_paren.erl:13: The call union_paren:t2(3.14) breaks the contract (integer() | atom()) -> integer()
union_paren.erl:19: Function t3/0 has no local return
union_paren.erl:20: The pattern 3.14 can never match the type atom() | integer()
union_paren.erl:5: Function t1/0 has no local return
union_paren.erl:6: The call union_paren:t1(3.14) breaks the contract ((A::integer()) | (B::atom())) -> integer()
|
