aboutsummaryrefslogtreecommitdiffstats
path: root/.travis.yml
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-04-19 15:02:17 +0200
committerHans Bolinder <[email protected]>2016-04-28 16:16:10 +0200
commit29253c06dd99717e8424c0418144fd95d232c38d (patch)
treeff4f7a891ba26d05a8479936a073610cbf8cb760 /.travis.yml
parentd2ba8674603bc4ef210ec91e6f51924f7efe8c2e (diff)
downloadotp-29253c06dd99717e8424c0418144fd95d232c38d.tar.gz
otp-29253c06dd99717e8424c0418144fd95d232c38d.tar.bz2
otp-29253c06dd99717e8424c0418144fd95d232c38d.zip
erl_types: Fix t_subtract/2 correctness bug
t_subtract/2 would break its postcondition by always returning the underapproximation none() when given a variable on the right hand side. This broke map type parsing, since it relied on t_subtract/2 to tell it when map keys would shadow each other.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions