From fe20b9064fca765a38345a09aa484bfb537aa3c0 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 14 Nov 2016 11:58:59 +0100 Subject: Pickle and unpickle type trees Lots of other changes to make positions work out everywhere. One important change is that now trees can be shared, just as types can. This change improves memory requirements (a bit) and also makes positions in shared trees more robust. --- src/dotty/tools/dotc/core/tasty/TastyPickler.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/tasty/TastyPickler.scala') diff --git a/src/dotty/tools/dotc/core/tasty/TastyPickler.scala b/src/dotty/tools/dotc/core/tasty/TastyPickler.scala index f847dda68..55fe232c0 100644 --- a/src/dotty/tools/dotc/core/tasty/TastyPickler.scala +++ b/src/dotty/tools/dotc/core/tasty/TastyPickler.scala @@ -61,7 +61,7 @@ class TastyPickler { * Note that a tree can have several addresses, if it is shared, * i.e. accessible from different paths. Any such sharing is undone by pickling. */ - var addrsOfTree: tpd.Tree => List[Addr] = (_ => Nil) + var addrOfTree: tpd.Tree => Option[Addr] = (_ => None) /** * Addresses in TASTY file of symbols, stored by pickling. -- cgit v1.2.3