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 /src/dotty | |
| 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.
Diffstat (limited to 'src/dotty')
| -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 * |