diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-30 15:07:52 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-30 15:07:52 +0200 |
| commit | 10d05f34a8c3f006c6a0aabed04c47cb7566cc46 (patch) | |
| tree | 369d714ee484e38c5a6709dfcfe3d3ee5bed6ca7 /src/dotty/tools/dotc/core/pickling/PositionPickler.scala | |
| parent | c4b61af8b20dd9f763ffa34e27625e3ffd966f5c (diff) | |
| download | dotty-10d05f34a8c3f006c6a0aabed04c47cb7566cc46.tar.gz dotty-10d05f34a8c3f006c6a0aabed04c47cb7566cc46.tar.bz2 dotty-10d05f34a8c3f006c6a0aabed04c47cb7566cc46.zip | |
Decrease default sizes of buffers.
Values are the ones that I got as maximum values for compiling dotty itself.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/PositionPickler.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/pickling/PositionPickler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/PositionPickler.scala b/src/dotty/tools/dotc/core/pickling/PositionPickler.scala index e8a0b3d01..1e36105cb 100644 --- a/src/dotty/tools/dotc/core/pickling/PositionPickler.scala +++ b/src/dotty/tools/dotc/core/pickling/PositionPickler.scala @@ -38,7 +38,7 @@ object PositionPickler { import PositionPickler._ class PositionPickler(pickler: TastyPickler, addrOfTree: Tree => Option[Addr]) { - val buf = new TastyBuffer(100000) + val buf = new TastyBuffer(5000) pickler.newSection("Positions", buf) import buf._ |