diff options
| author | John Högberg <[email protected]> | 2019-02-21 15:37:49 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-02-27 11:57:23 +0100 |
| commit | 30d8c967c5f0029b0296a812173084eb5a91a1e1 (patch) | |
| tree | a63aa26ef009629afa6830302601c444c5d433be /lib/compiler/src/beam_ssa_type.erl | |
| parent | 94dd6aaf475fdcd8f181eb0b4392c934c2db8afc (diff) | |
| download | otp-30d8c967c5f0029b0296a812173084eb5a91a1e1.tar.gz otp-30d8c967c5f0029b0296a812173084eb5a91a1e1.tar.bz2 otp-30d8c967c5f0029b0296a812173084eb5a91a1e1.zip | |
beam_validator: Use literals as keys in container (tuple) elements
Diffstat (limited to 'lib/compiler/src/beam_ssa_type.erl')
| -rw-r--r-- | lib/compiler/src/beam_ssa_type.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_ssa_type.erl b/lib/compiler/src/beam_ssa_type.erl index aa4720d222..c01ea4af91 100644 --- a/lib/compiler/src/beam_ssa_type.erl +++ b/lib/compiler/src/beam_ssa_type.erl @@ -170,7 +170,8 @@ opt_finish_1([], [], ParamInfo) -> validator_anno(#t_tuple{size=Size,exact=Exact,elements=Elements0}) -> Elements = maps:fold(fun(Index, Type, Acc) -> - Acc#{ Index => validator_anno(Type) } + Key = beam_validator:type_anno(integer, Index), + Acc#{ Key => validator_anno(Type) } end, #{}, Elements0), beam_validator:type_anno(tuple, Size, Exact, Elements); validator_anno(#t_integer{elements={Same,Same}}) -> |