diff options
| author | Björn Gustavsson <[email protected]> | 2018-05-07 10:30:22 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-05-07 10:30:22 +0200 |
| commit | 7a19de1bf0eb863e0d0febf7e7e5e555c8628575 (patch) | |
| tree | 84331df750b98d76b59472ecf2de657121798931 /lib/compiler/src/beam_type.erl | |
| parent | 49dc5d3975357971ffc3020d095a8187d80e3b69 (diff) | |
| parent | 5d0874a8f9fd617308d9024783db1e4e24268184 (diff) | |
| download | otp-7a19de1bf0eb863e0d0febf7e7e5e555c8628575.tar.gz otp-7a19de1bf0eb863e0d0febf7e7e5e555c8628575.tar.bz2 otp-7a19de1bf0eb863e0d0febf7e7e5e555c8628575.zip | |
Merge pull request #1802 from michalmuskala/map-is-key-bif
Introduce is_map_key/2 guard BIF
OTP-15037
Diffstat (limited to 'lib/compiler/src/beam_type.erl')
| -rw-r--r-- | lib/compiler/src/beam_type.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_type.erl b/lib/compiler/src/beam_type.erl index 28f36db399..12da8c9446 100644 --- a/lib/compiler/src/beam_type.erl +++ b/lib/compiler/src/beam_type.erl @@ -462,6 +462,9 @@ update({set,[D],[Index,Reg],{bif,element,_}}, Ts0) -> end, Ts = tdb_meet(Reg, {tuple,min_size,MinSize,[]}, Ts0), tdb_store(D, any, Ts); +update({set,[D],[_Key,Map],{bif,map_get,_}}, Ts0) -> + Ts = tdb_meet(Map, map, Ts0), + tdb_store(D, any, Ts); update({set,[D],Args,{bif,N,_}}, Ts) -> Ar = length(Args), BoolOp = erl_internal:new_type_test(N, Ar) orelse |