Skip to content

Fix #9504: Cache typeSize and covering set #9559

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
Aug 14, 2020
Merged

Fix #9504: Cache typeSize and covering set #9559

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
632922e
Optimize TermRefSet
odersky Aug 4, 2020
48415d2
Optimize SearchHistory
odersky Aug 4, 2020
2266d1d
Refactor divergence checking
odersky Aug 4, 2020
b8e20de
Refactor bestImplicit
odersky Aug 4, 2020
24f7a9d
Optimize recursiveRef
odersky Aug 4, 2020
7d3adb8
Further tweaks to search history checking
odersky Aug 4, 2020
cfe45b3
More optimzations of implicit search
odersky Aug 4, 2020
9d158e0
Fix #9504: Snapshot type size and covering set in search histories
odersky Aug 13, 2020
12fb39b
Clean up tryCandidate
odersky Aug 14, 2020
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
3 changes: 3 additions & 0 deletions compiler/src/dotty/tools/dotc/transform/TypeUtils.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,9 @@ object TypeUtils {
def isPrimitiveValueType(using Context): Boolean =
self.classSymbol.isPrimitiveValueClass

def isByName: Boolean =
self.isInstanceOf[ExprType]

def ensureMethodic(using Context): Type = self match {
case self: MethodicType => self
case _ => if (ctx.erasedTypes) MethodType(Nil, self) else ExprType(self)
Expand Down
Loading