diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-03 18:42:23 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:00 +0200 |
commit | d0f82a50bffc059803b56a341c8fcd9a238431f7 (patch) | |
tree | 45eff785aa49e2dc6c75bc68656e435f9742608d /.gitignore | |
parent | a7d61c0ffc99c52109937c899c789ad9ea5d6a5b (diff) | |
download | dotty-d0f82a50bffc059803b56a341c8fcd9a238431f7.tar.gz dotty-d0f82a50bffc059803b56a341c8fcd9a238431f7.tar.bz2 dotty-d0f82a50bffc059803b56a341c8fcd9a238431f7.zip |
Don't map info of SkolemTypes in type maps
Mapping the info may create new skolems which undermines
the idea of a skolem as a fixed reference. In a sense, SkolemTypes
are like Termrefs, mapping them does not map their info either.
Creating new skolems on the fly in type maps caused some hard find
to infinite loops under the new hk scheme.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions