diff options
| author | John Högberg <[email protected]> | 2019-02-26 09:14:36 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-02-27 14:59:41 +0100 |
| commit | 1d78eea0306f560f6219fa34e0f5f9689f9e613c (patch) | |
| tree | f7af6f816cc96c39260683551f4692ccc6795fe6 /lib/kernel/src/inet.erl | |
| parent | 36b7654dc152f6b3343afb664a7b260dcc06c799 (diff) | |
| download | otp-1d78eea0306f560f6219fa34e0f5f9689f9e613c.tar.gz otp-1d78eea0306f560f6219fa34e0f5f9689f9e613c.tar.bz2 otp-1d78eea0306f560f6219fa34e0f5f9689f9e613c.zip | |
beam_validator: Make call argument validation stricter
We used to cheat by checking if it were possible to meet the Given
and Required types, which caught the most common problems but
potentially let tuple element conflicts pass through.
This was a compromise to let the thing "work" while we were
refactoring the validator, but we can be a lot stricter now that
its type tracking capabilities approach those of the type
optimization pass.
Diffstat (limited to 'lib/kernel/src/inet.erl')
0 files changed, 0 insertions, 0 deletions