diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-03 11:13:55 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-09 16:38:52 +0200 |
commit | bbad484141e591899f95327e572031ba0de155ec (patch) | |
tree | 5fc13db5632d21d2ab0aa4d8561e94501abbbd99 /src/dotty/tools/dotc/core/Definitions.scala | |
parent | c8feb0ccb543b01ac27da788050b12c0a0221e36 (diff) | |
download | dotty-bbad484141e591899f95327e572031ba0de155ec.tar.gz dotty-bbad484141e591899f95327e572031ba0de155ec.tar.bz2 dotty-bbad484141e591899f95327e572031ba0de155ec.zip |
Allow phases to give restrictions on pipeline position.
Phases can now specify which phases should it follow.
Tree transforms can additionally specify which TreeTransforms
should have finished their processing of compilation units entirely.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
0 files changed, 0 insertions, 0 deletions