diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-03-03 10:36:53 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-03-03 10:36:53 +0100 |
| commit | 0e21000f5527461b68a382346712e5f52fb3beec (patch) | |
| tree | ed47d716d400e0fc9aac0c117dd7c69b946ececd /src/dotty/tools/dotc/core/Types.scala | |
| parent | ba67e556271156c11f5f313f68891bf18f7a51d2 (diff) | |
| download | dotty-0e21000f5527461b68a382346712e5f52fb3beec.tar.gz dotty-0e21000f5527461b68a382346712e5f52fb3beec.tar.bz2 dotty-0e21000f5527461b68a382346712e5f52fb3beec.zip | |
Print phases with time they need
Print a phase after it has run, together with the time
it needs. Useful to locate performance problems in transforms.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions