diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-02 18:46:49 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:34:59 +0200 |
commit | e56bd1fe7a5d2a3821e8c44f0ce35b75be8d7d2b (patch) | |
tree | 4708d1cba246fd6093a243be9b6bd59860b6ecb4 /src/dotty/tools/dotc/core/Types.scala | |
parent | 5daae278392ed6fabd45c9fa55aded970ca2a348 (diff) | |
download | dotty-e56bd1fe7a5d2a3821e8c44f0ce35b75be8d7d2b.tar.gz dotty-e56bd1fe7a5d2a3821e8c44f0ce35b75be8d7d2b.tar.bz2 dotty-e56bd1fe7a5d2a3821e8c44f0ce35b75be8d7d2b.zip |
Beta-reduce when simplifying
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions