diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-20 22:25:09 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-23 00:47:19 +0100 |
commit | b45c69fb992acf1bbd9511408193d6d92ef7089a (patch) | |
tree | f861f6f7d09e773f9694b43bf54c136dd1a38bd6 /.gitattributes | |
parent | eed18aab0d52bd2f7a1cb17433759b51890e40aa (diff) | |
download | dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.tar.gz dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.tar.bz2 dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.zip |
Plugging a possible hole in unify
unify now does a full `replace` of one parameter with the other. The previous
scheme of just updating the entry of a parameter risks breaking constraint
invariants. In particular, other constraint bounds can still refer to the eliminated
parameter. This might not be a problem, but then we should be systeamtically leaving
these references in everywhere. In any case it seems better to harmonize what unify
and replace are doing.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions