diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-14 19:06:25 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-14 19:09:34 +0100 |
commit | 566dd6e8a44090168ebe8e6703fea27152802286 (patch) | |
tree | 1fa6d213a9ecd459cbf1fbab36a5d9991d805c24 /src/dotty/tools/dotc/core/Constants.scala | |
parent | 19234838329aabfe202a2fbf46470528baebd83c (diff) | |
download | dotty-566dd6e8a44090168ebe8e6703fea27152802286.tar.gz dotty-566dd6e8a44090168ebe8e6703fea27152802286.tar.bz2 dotty-566dd6e8a44090168ebe8e6703fea27152802286.zip |
Fix skolemization logic.
The skolemsOutstanding flag was reset too early. Just de-skolemizing one type does
not guarantee that all further types are skolem-free.
Diffstat (limited to 'src/dotty/tools/dotc/core/Constants.scala')
0 files changed, 0 insertions, 0 deletions