Skip to content

Refactor heap and cache outers #12608

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 9 commits into from
Jun 1, 2021
Merged

Refactor heap and cache outers #12608

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
a568573
WIP - reintroduce addresses
liufengyun May 19, 2021
7cf68c0
Use opaque type for type aliases
liufengyun May 21, 2021
13f2634
Create warm object in heap if absent
liufengyun May 21, 2021
4edadb2
Fix class for evaluating local methods
liufengyun May 21, 2021
ad0da27
Fix key for this resolution
liufengyun May 21, 2021
c17bbfe
Make sure widening does not refer non-existent abstract objects
liufengyun May 21, 2021
0c45807
Heap may serve as global cache for warm objects
liufengyun May 26, 2021
ca724f7
Handle outers of nested Java interfaces
liufengyun May 26, 2021
9527eac
Address review comments
liufengyun Jun 1, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions compiler/src/dotty/tools/dotc/transform/init/Checker.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,8 +49,11 @@ class Checker extends MiniPhase {
import semantic._
val tpl = tree.rhs.asInstanceOf[Template]
val thisRef = ThisRef(cls)
val heap = Objekt(cls, fields = mutable.Map.empty)
val res = eval(tpl, thisRef, cls)(using heap, ctx, Vector.empty)
val obj = Objekt(cls, fields = mutable.Map.empty, outers = mutable.Map(cls -> Hot))
given Promoted = Promoted.empty
given Trace = Trace.empty
heap.update(thisRef, obj)
val res = eval(tpl, thisRef, cls)
res.errors.foreach(_.issue)
}

Expand Down
Loading