diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-07 14:17:52 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:02 +0200 |
commit | 5041e9311bf1845d09c6eeccba816214fe25a3e6 (patch) | |
tree | 8e23c358a5a75c8050c848bc477c0990063d3feb /tests/disabled | |
parent | 31af865656ecc352c39ce919981e9b50d42a3237 (diff) | |
download | dotty-5041e9311bf1845d09c6eeccba816214fe25a3e6.tar.gz dotty-5041e9311bf1845d09c6eeccba816214fe25a3e6.tar.bz2 dotty-5041e9311bf1845d09c6eeccba816214fe25a3e6.zip |
Make TypeAccumulators follow LazyRefs
TypeMaps do the same, so it is logical, and helps
prevent subtle errors as when we mispredicted whether
a RecType contains references that point to it.
Also, add normalizeHkApply to homogenize
Fixes some discrepancies in Tasty typing.
Also, homogenize skolem types
Skolem types are eliminated by pickling, so they should not appear
in the "before-pickling" output.
Diffstat (limited to 'tests/disabled')
0 files changed, 0 insertions, 0 deletions