diff options
| author | John Högberg <[email protected]> | 2019-07-04 12:48:11 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-07-05 11:33:38 +0200 |
| commit | 273099ac0e346c7324b0463e97bf6de7e96f4619 (patch) | |
| tree | e127aca198145f6c710b5832170a964ceeb0ea29 /plt | |
| parent | b713f93fb242e330cde1f3dcb135ec9795adccde (diff) | |
| download | otp-273099ac0e346c7324b0463e97bf6de7e96f4619.tar.gz otp-273099ac0e346c7324b0463e97bf6de7e96f4619.tar.bz2 otp-273099ac0e346c7324b0463e97bf6de7e96f4619.zip | |
beam_validator: Improve negative type inference
The previous implementation of infer_types had a general problem
with negative inference, and relied on an ugly hack to make simple
subtraction work for type tests. This gets rid of that hack and
makes it possible to subtract types on tuple size and element
comparisons.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions