diff options
author | Magnus Lång <[email protected]> | 2016-04-18 19:19:23 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:10 +0200 |
commit | d2ba8674603bc4ef210ec91e6f51924f7efe8c2e (patch) | |
tree | 3bf92f18425dcf38291ba452b3b322ae407cda55 /bin/.gitignore | |
parent | 12f968890c34e2591e7d4d8797896878f6cb6c62 (diff) | |
download | otp-d2ba8674603bc4ef210ec91e6f51924f7efe8c2e.tar.gz otp-d2ba8674603bc4ef210ec91e6f51924f7efe8c2e.tar.bz2 otp-d2ba8674603bc4ef210ec91e6f51924f7efe8c2e.zip |
erl_types: Fix crash merging maps with opaque keys
Opaque keys in maps broke an assumption in
erl_types:mapmerge_otherv/3 (that the infinimum of a singleton type and
some other type would either be none() or that same singleton type),
causing a case_clause crash.
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions