diff options
| author | Hans Bolinder <[email protected]> | 2019-04-22 13:54:12 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-29 12:00:31 +0200 |
| commit | a1e51d125944ad840a306d0cddec681848808f4c (patch) | |
| tree | e491a87f73e5082bfaed365226cea3329e56085d /lib/dialyzer/test/small_SUITE_data/results | |
| parent | 19e8e534cc26d890378265907ff0a56c101f2625 (diff) | |
| download | otp-a1e51d125944ad840a306d0cddec681848808f4c.tar.gz otp-a1e51d125944ad840a306d0cddec681848808f4c.tar.bz2 otp-a1e51d125944ad840a306d0cddec681848808f4c.zip | |
dialyzer: Add parentheses around annotated union elements
In contracts, annotated elements of unions are printed with
parentheses around them. They are not parseable otherwise.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/union_paren | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/union_paren b/lib/dialyzer/test/small_SUITE_data/results/union_paren new file mode 100644 index 0000000000..3a3526df89 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/union_paren @@ -0,0 +1,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() |