diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-16 13:00:46 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-01-16 21:26:52 +0100 |
| commit | a4f35e2cf41dd38a35688f351510603165c6f89f (patch) | |
| tree | c5e9bfabc0627214c0ffb2dfa264222e43888425 /src/dotty/tools/dotc/typer/Checking.scala | |
| parent | a2c8000dcd5c50d088cbd7127449b08dd7cd34a2 (diff) | |
| download | dotty-a4f35e2cf41dd38a35688f351510603165c6f89f.tar.gz dotty-a4f35e2cf41dd38a35688f351510603165c6f89f.tar.bz2 dotty-a4f35e2cf41dd38a35688f351510603165c6f89f.zip | |
Make skolems uncached
There was no reason in the first case to cache them, as their
equality is reference identity. Maybe this fixes the OOM errors
we encounter.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Checking.scala')
0 files changed, 0 insertions, 0 deletions