diff options
author | Martin Odersky <odersky@gmail.com> | 2015-03-10 13:36:49 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:16:37 +0100 |
commit | 79e22287def4b5bf04e7ecd02507b9e72a4134f5 (patch) | |
tree | f549d537f83c0da0dc1b317e8ebbe52bc41c81e9 /src/dotty/tools/dotc/core/pickling/PickleFormat.scala | |
parent | 8c6339b42d665d2260c56a8050c4b802fdd0576d (diff) | |
download | dotty-79e22287def4b5bf04e7ecd02507b9e72a4134f5.tar.gz dotty-79e22287def4b5bf04e7ecd02507b9e72a4134f5.tar.bz2 dotty-79e22287def4b5bf04e7ecd02507b9e72a4134f5.zip |
Change to PickleFormat
Remove 3rd argument of BIND types. It can be reconstructed
on unpickling.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/PickleFormat.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/pickling/PickleFormat.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/PickleFormat.scala b/src/dotty/tools/dotc/core/pickling/PickleFormat.scala index 1bfe3784f..cafd9cc50 100644 --- a/src/dotty/tools/dotc/core/pickling/PickleFormat.scala +++ b/src/dotty/tools/dotc/core/pickling/PickleFormat.scala @@ -135,9 +135,8 @@ Standard-Section: "ASTs" TopLevelStat* ANNOTATED Length fullAnnotation_Term underlying_Type ANDtype Length left_Type right_Type ORtype Length left_Type right_Type - BIND Length boundName_NameRef bounds_Type selfRef_Type + BIND Length boundName_NameRef bounds_Type // for type-variables defined in a type pattern - // bounds = type bounds, selfRef = reference to type itself. BYNAMEtype underlying_Type POLYtype Length result_Type NamesTypes // needed for refinements METHODtype Length result_Type NamesTypes // needed for refinements |