diff options
author | Magnus Lång <[email protected]> | 2016-02-27 19:23:48 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:09 +0200 |
commit | a13d4a750dfdf9a2a96d1e7ec0054644187afa59 (patch) | |
tree | 741bd9b4f465db35672cec3b6e7a2a3f08dc2c17 /lib/.gitignore | |
parent | c4a51d9087bdac955e9be94cb0819a01c9e91844 (diff) | |
download | otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.gz otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.bz2 otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.zip |
Enhance map specs in erts, stdlib, runtime_tools
Using the new type syntax, we can specify which keys are required, and
which are optional in a way Dialyzer could use.
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions