diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-10 12:31:21 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:09:43 +0100 |
commit | 0c755d211fcfeb7d19a3fe87d5513e97a3f47da1 (patch) | |
tree | d7b0d86c31bca9e61b59d291ef30109ffed3dc94 | |
parent | 340dc52a567de022c56acb1533c5772d21405f2a (diff) | |
download | dotty-0c755d211fcfeb7d19a3fe87d5513e97a3f47da1.tar.gz dotty-0c755d211fcfeb7d19a3fe87d5513e97a3f47da1.tar.bz2 dotty-0c755d211fcfeb7d19a3fe87d5513e97a3f47da1.zip |
Allow up to 64 phases.
Doubles maximal number of phases from 32 to 64. Needed because adding the pickling phase
would push us over the edge of 32 phases.
-rw-r--r-- | src/dotty/tools/dotc/core/Periods.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Periods.scala b/src/dotty/tools/dotc/core/Periods.scala index 0bdbb94ba..0cd41a7df 100644 --- a/src/dotty/tools/dotc/core/Periods.scala +++ b/src/dotty/tools/dotc/core/Periods.scala @@ -46,7 +46,7 @@ object Periods { * It is coded as follows: * * sign, always 0 1 bit - * runid 21 bits + * runid 19 bits * last phase id: 6 bits * #phases before last: 6 bits * |