diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-26 16:44:07 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-26 16:44:07 +0100 |
| commit | df79c5efc7190e7a61ce7ac526aca0aac520ea9f (patch) | |
| tree | 98b138cb0ce27e85b44e1faa81e4ac6057b10f2d /src/dotty/tools/dotc/core/Types.scala | |
| parent | ebc23ad054787d87b18b713f26847ee1443d6890 (diff) | |
| download | dotty-df79c5efc7190e7a61ce7ac526aca0aac520ea9f.tar.gz dotty-df79c5efc7190e7a61ce7ac526aca0aac520ea9f.tar.bz2 dotty-df79c5efc7190e7a61ce7ac526aca0aac520ea9f.zip | |
Getting rid of forceProperType in Unpicklers
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions