diff options
| author | Björn Gustavsson <[email protected]> | 2019-03-22 10:20:02 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-03-25 09:58:58 +0100 |
| commit | afe49ef2610b597f172e0fcc0c2b7b3f110bb7b4 (patch) | |
| tree | 5d896f9ba644c073f5f6bb650f957a3ba39979a4 /lib/compiler/src/beam_validator.erl | |
| parent | 683ee3a7778f0c912ceffa660554909cdd9b88e5 (diff) | |
| download | otp-afe49ef2610b597f172e0fcc0c2b7b3f110bb7b4.tar.gz otp-afe49ef2610b597f172e0fcc0c2b7b3f110bb7b4.tar.bz2 otp-afe49ef2610b597f172e0fcc0c2b7b3f110bb7b4.zip | |
beam_validator: Remove uncovered lines in lists_mod_return_type/3
Don't bother infering the return types for lists function that
beam_ssa_type does not handle.
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
| -rw-r--r-- | lib/compiler/src/beam_validator.erl | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 4fba3fa1c6..efd2be94cb 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -2899,8 +2899,6 @@ lists_mod_return_type(filter, 2, _Vst) -> list; lists_mod_return_type(flatten, 1, _Vst) -> list; -lists_mod_return_type(flatten, 2, _Vst) -> - list; lists_mod_return_type(map, 2, Vst) -> same_length_type({x,1}, Vst); lists_mod_return_type(MF, 3, Vst) when MF =:= mapfoldl; MF =:= mapfoldr -> @@ -2912,8 +2910,6 @@ lists_mod_return_type(reverse, 1, Vst) -> same_length_type({x,0}, Vst); lists_mod_return_type(seq, 2, _Vst) -> list; -lists_mod_return_type(seq, 3, _Vst) -> - list; lists_mod_return_type(sort, 1, Vst) -> same_length_type({x,0}, Vst); lists_mod_return_type(sort, 2, Vst) -> @@ -2927,16 +2923,10 @@ lists_mod_return_type(unzip, 1, Vst) -> two_tuple(ListType, ListType); lists_mod_return_type(usort, 1, Vst) -> same_length_type({x,0}, Vst); -lists_mod_return_type(usort, 2, Vst) -> - same_length_type({x,1}, Vst); lists_mod_return_type(zip, 2, _Vst) -> list; -lists_mod_return_type(zip3, 3, _Vst) -> - list; lists_mod_return_type(zipwith, 3, _Vst) -> list; -lists_mod_return_type(zipwith3, 4, _Vst) -> - list; lists_mod_return_type(_, _, _) -> term. |