index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
dotty
/
tools
/
dotc
/
core
/
TypeComparer.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Make ThisTypes take TypeRefs instead of ClassSymbols
Martin Odersky
2014-08-27
1
-9
/
+9
*
Fixes to erasure
Martin Odersky
2014-08-25
1
-2
/
+3
*
Fixes to erasure
Martin Odersky
2014-08-24
1
-4
/
+9
*
More targeted eta-lifting
Martin Odersky
2014-08-10
1
-3
/
+3
*
Detect cycles and protected legal ones with LazyRefs
Martin Odersky
2014-08-08
1
-1
/
+6
*
Add missing case where isHKSubType is needed
Martin Odersky
2014-06-20
1
-4
/
+5
*
Delete old, disabled code in TypeComparer
Martin Odersky
2014-06-18
1
-284
/
+1
*
Handling higher-kinded types with lambdas
Martin Odersky
2014-06-18
1
-91
/
+65
*
Fixing subtyping of refined types
Martin Odersky
2014-06-15
1
-40
/
+146
*
Refinements in diagnostics
Martin Odersky
2014-05-30
1
-2
/
+2
*
Adding a check that owner chains are correct for -Ycheck
Martin Odersky
2014-05-08
1
-1
/
+0
*
Adding dependency tracking to constraint satisfaction
Martin Odersky
2014-05-08
1
-28
/
+53
*
Handling of higher-kinded types in intersections and unions.
Martin Odersky
2014-05-08
1
-3
/
+17
*
Optimization: Avoid substituting when checking satisfiability
Martin Odersky
2014-05-08
1
-36
/
+59
*
Tightened satisfiablity checks.
Martin Odersky
2014-05-08
1
-5
/
+43
*
Rename methods on FreshContext to make mutation obvious
Dmitry Petrashko
2014-03-27
1
-1
/
+1
*
Fix of Fix of t1236: higher-kinded
Martin Odersky
2014-03-21
1
-3
/
+3
*
Refactored lookupRefined
Martin Odersky
2014-03-21
1
-2
/
+2
*
Fix of t1236: higher-kinded
Martin Odersky
2014-03-21
1
-15
/
+29
*
Fix of t112606A - path dependent types
Martin Odersky
2014-03-21
1
-1
/
+14
*
Fix of t0625 - compare method types
Martin Odersky
2014-03-21
1
-2
/
+6
*
Merge refined types when distributing via "|".
Martin Odersky
2014-03-20
1
-12
/
+23
*
Fix of accidental omission in TypeComparer
Martin Odersky
2014-03-07
1
-1
/
+3
*
Fix problem comparing overloaded TermRefs
Martin Odersky
2014-03-07
1
-3
/
+19
*
Fix of #34
Martin Odersky
2014-03-03
1
-2
/
+3
*
Rename baseType -> baseTypeRef
Martin Odersky
2014-03-02
1
-1
/
+1
*
Fixing glb/lub of TypeBounds
Martin Odersky
2014-03-01
1
-21
/
+8
*
Cleanup of isSubType
Martin Odersky
2014-02-26
1
-24
/
+19
*
Performance improvements: Split long TypeMap#mapOver and move hot fields into...
Martin Odersky
2014-02-26
1
-17
/
+20
*
Reord of superIds
Martin Odersky
2014-02-25
1
-2
/
+2
*
Performance improvement: Streamline successful toplevel subtype checks
Martin Odersky
2014-02-24
1
-6
/
+19
*
More statistics for created and retained trees
Martin Odersky
2014-02-24
1
-1
/
+1
*
Bug fix: fix of typo in secondTry
Martin Odersky
2014-02-21
1
-1
/
+1
*
Bug fix: Logic for taking variance into account for TypeBounds comparisons wa...
Martin Odersky
2014-02-21
1
-6
/
+3
*
Reverted: Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-28
/
+16
*
Performance improvement: inline hasAltWith
Martin Odersky
2014-02-21
1
-1
/
+6
*
Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-16
/
+28
*
Avoid forming And/Or types with equal operands.
Martin Odersky
2014-02-14
1
-1
/
+1
*
Streamlined treatment of ThisType in subtype checks.
Martin Odersky
2014-02-14
1
-28
/
+13
*
Two performance optimizations
Martin Odersky
2014-02-13
1
-12
/
+11
*
New scheme for attachments.
Martin Odersky
2014-02-11
1
-2
/
+1
*
Make Definitions load all symbols in current runId.
Martin Odersky
2014-02-10
1
-1
/
+1
*
Fix bug for reading type arguments in ClassfileParser
Martin Odersky
2014-02-06
1
-3
/
+6
*
Commenting out unused alternative isSubType implementation.
Martin Odersky
2014-02-03
1
-281
/
+283
*
Fix problems with TypeVar instantiation
Martin Odersky
2014-02-03
1
-5
/
+8
*
Optimize subtype test between refined types with multiple refinements
Martin Odersky
2014-02-03
1
-8
/
+37
*
Relaxing check that implicits must have explicit return type
Martin Odersky
2014-02-02
1
-1
/
+1
*
Accept method types directly in isApplicable.
Martin Odersky
2014-01-27
1
-14
/
+15
*
Instrumentation on total isSubType calls.
Martin Odersky
2014-01-26
1
-4
/
+9
*
Some more statistic sampling
Martin Odersky
2014-01-26
1
-2
/
+16
[next]