diff options
author | odersky <odersky@gmail.com> | 2014-03-04 13:55:07 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2014-03-04 13:55:07 +0100 |
commit | 092456b806a132a64b7a4a98d0d2d30ca8114bbd (patch) | |
tree | 93c51b000fd19324b2bb65943215ad14f72e3ddd /src/dotty/tools/dotc/typer | |
parent | 340ec6150b205287e1c0f5a0422d2186c29bc086 (diff) | |
parent | fd5b429d821b8a535df904ea853a83f9b8e57d58 (diff) | |
download | dotty-092456b806a132a64b7a4a98d0d2d30ca8114bbd.tar.gz dotty-092456b806a132a64b7a4a98d0d2d30ca8114bbd.tar.bz2 dotty-092456b806a132a64b7a4a98d0d2d30ca8114bbd.zip |
Merge pull request #41 from DarkDimius/virtualFile
Use virtual file instead of temporary file for tests
Diffstat (limited to 'src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions