diff options
author | Martin Odersky <odersky@gmail.com> | 2015-03-01 14:46:42 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:12 +0100 |
commit | a543ed10445f2d4d61a61cd333fa9273c3a32ea0 (patch) | |
tree | b089c96d2f5d3a5a7cdc0a59f995d52db54b672d /src/dotty/tools/dotc/core/pickling/TastyReader.scala | |
parent | dd5be327395cb4a6380467e5e7c85cc0d7a5e70d (diff) | |
download | dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.tar.gz dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.tar.bz2 dotty-a543ed10445f2d4d61a61cd333fa9273c3a32ea0.zip |
Bugfixes in unpickling
- better diagnostics, avoid try-finally-assert, because that masks errors.
- handle paths as terms correctly.
- need to set flags wholesale from pickling, not just add to them.
- fix pickling of refined types and skolem types.
- dealias type aliases representing parameter instantiations before pickling,
so that we do not refer to as-yet-undefined symbols.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/TastyReader.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/pickling/TastyReader.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/TastyReader.scala b/src/dotty/tools/dotc/core/pickling/TastyReader.scala index b7280e34a..e0f3be84e 100644 --- a/src/dotty/tools/dotc/core/pickling/TastyReader.scala +++ b/src/dotty/tools/dotc/core/pickling/TastyReader.scala @@ -118,7 +118,7 @@ class TastyReader(val bytes: Array[Byte], start: Int, end: Int, val base: Int = def readEnd(): Addr = addr(readNat() + bp) /** Set read position to the one pointed to by `addr` */ - def skipTo(addr: Addr): Unit = + def goto(addr: Addr): Unit = bp = index(addr) /** Perform `op` until `end` address is reached and collect results in a list. */ |