diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-01-30 14:29:30 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-01-30 14:39:15 +0100 |
| commit | ac76968e59453d8006212aa8e92f5c9d04e5c257 (patch) | |
| tree | 2787cfbbac9637eac631b716c8a10b459d7fa169 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 537c53b2eba195317f0e7f0ede0cf3fdbd80e790 (diff) | |
| download | dotty-ac76968e59453d8006212aa8e92f5c9d04e5c257.tar.gz dotty-ac76968e59453d8006212aa8e92f5c9d04e5c257.tar.bz2 dotty-ac76968e59453d8006212aa8e92f5c9d04e5c257.zip | |
workaround #342
That's a hack. That allows to continue to work on backend.
Should be removed after #342 is fixed.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions