diff options
| author | Björn Gustavsson <[email protected]> | 2017-08-29 18:02:49 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-08-30 06:17:14 +0200 |
| commit | 4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0 (patch) | |
| tree | 109e3ef2e94b9b5123e4b065a3226cfede9cee28 /lib/dialyzer | |
| parent | 614cc9aba105f6fe5c72de356be4735c22579ca2 (diff) | |
| download | otp-4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0.tar.gz otp-4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0.tar.bz2 otp-4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0.zip | |
Make handling of match contexts stricter
beam_validator could fail issue a diagnostic when a register
that was supposed to be a match context was not guaranteed to
be a match context.
The bug was in merging of types. Merging of a match context with
another term would result in a match context. That is wrong. Merging
should produce a more general type, not a narrower type. Also, the
valid slots in two match contexts should be combined with 'band', not
'bor'.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions