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
*
Revert following underlyingIfRepeated when matching
Martin Odersky
2015-02-07
1
-1
/
+1
*
Tweaks to matches
Martin Odersky
2015-02-07
1
-1
/
+1
*
New spec and implementation for matching.
Martin Odersky
2015-02-07
1
-26
/
+15
*
correct spelling mistakes in comments
Ondrej Lhotak
2015-01-31
1
-1
/
+1
*
Merge pull request #338 from dotty-staging/fix/t3152-findMember
odersky
2015-01-31
1
-18
/
+28
|
\
|
*
Handle Apply projections also in lower compared type.
Martin Odersky
2015-01-27
1
-18
/
+28
*
|
Fixed problem with ensureSingleton
Martin Odersky
2015-01-28
1
-1
/
+1
*
|
Cleanups prompted by reviews.
Martin Odersky
2015-01-28
1
-1
/
+1
*
|
Fixups taking into account reviewer's comments.
Martin Odersky
2015-01-27
1
-7
/
+11
|
/
*
Some small polishings in TypeComparer
Martin Odersky
2015-01-24
1
-3
/
+6
*
Fixes suggested by reviews from @smarter.
Martin Odersky
2015-01-24
1
-2
/
+2
*
Some finetunigs in TypeComparer.
Martin Odersky
2015-01-24
1
-5
/
+8
*
Small polishings for isSubType
Martin Odersky
2015-01-19
1
-94
/
+93
*
Streamline TypeComparer/ConstraintHandling interface.
Martin Odersky
2015-01-19
1
-12
/
+10
*
Move PolyParam test later in isSubType and simplify addConstraint
Martin Odersky
2015-01-19
1
-25
/
+15
*
Refactorings in TypeComparer fourthTry
Martin Odersky
2015-01-19
1
-23
/
+20
*
Refactor handling of NamedTypes in isSubType
Martin Odersky
2015-01-19
1
-62
/
+56
*
Compare ThisType refactoring
Martin Odersky
2015-01-19
1
-10
/
+12
*
Fixed soundness hole in TypeComparer
Martin Odersky
2015-01-19
1
-2
/
+7
*
Avoid adding constraint under typeVarsMissContext is true
Martin Odersky
2015-01-18
1
-13
/
+15
*
New constraint handling
Martin Odersky
2015-01-18
1
-23
/
+9
*
Allow to merge TypeBounds and ClassInfos in |, &
Martin Odersky
2015-01-14
1
-8
/
+8
*
Fixed bug/typo in comparing prefixes of ClassInfo types.
Martin Odersky
2015-01-14
1
-1
/
+1
*
Removed redundant test in isSubType.
Martin Odersky
2015-01-14
1
-2
/
+1
*
Rename isConstrained -> canConstrain for clarity
Martin Odersky
2015-01-14
1
-4
/
+12
*
Fix after review: reset state variable needsGc
Martin Odersky
2015-01-14
1
-1
/
+4
*
Two new hooks in ConstraintHandling
Martin Odersky
2015-01-13
1
-2
/
+2
*
Made constraint data structures pluggable.
Martin Odersky
2015-01-12
1
-7
/
+0
*
Simplified condition in isSubType.
Martin Odersky
2015-01-10
1
-2
/
+2
*
Rename RefinedThis -> SkolemType
Martin Odersky
2015-01-10
1
-3
/
+3
*
Reverting the idea that RefinedThis types take levels.
Martin Odersky
2015-01-10
1
-3
/
+3
*
Split off ConstraintHandling into separate trait.
Martin Odersky
2015-01-10
1
-258
/
+1
*
Made refinement subtype fastpath insensitive to RefineedThis#binder.
Martin Odersky
2015-01-09
1
-5
/
+12
*
TypeComparer cleanups.
Martin Odersky
2015-01-09
1
-54
/
+56
*
Made fast path for refined subtype checking configurable.
Martin Odersky
2015-01-09
1
-2
/
+2
*
Remove unnecessary nested methods in TypeComparer.
Martin Odersky
2015-01-09
1
-497
/
+478
*
New fast path for checking refined types.
Martin Odersky
2015-01-09
1
-8
/
+44
*
Fix problem in constraint handling
Martin Odersky
2015-01-09
1
-80
/
+100
*
Optimize for case where RefinedThis is absent
Martin Odersky
2015-01-09
1
-2
/
+6
*
Refacttored skolemization logic
Martin Odersky
2015-01-08
1
-24
/
+27
*
Remove choice between new and old scheme for subtyping refined types.
Martin Odersky
2015-01-08
1
-188
/
+16
*
Simplify and fix bounds propagation in constraints.
Martin Odersky
2015-01-08
1
-117
/
+146
*
New scheme for subtyping refined types.
Martin Odersky
2015-01-08
1
-52
/
+135
*
Make findMember depend on RefinedThis level.
Martin Odersky
2015-01-03
1
-0
/
+4
*
isSubType reorg
Martin Odersky
2015-01-01
1
-99
/
+112
*
Removed debug println
Martin Odersky
2015-01-01
1
-1
/
+1
*
Provide the correct levels for RefinedThis types.
Martin Odersky
2015-01-01
1
-2
/
+2
*
Reorg of subtyping.
Martin Odersky
2015-01-01
1
-439
/
+439
*
Handle subtyping cases involving null.
Martin Odersky
2014-12-22
1
-6
/
+8
*
Merge pull request #271 from dotty-staging/fix/i268-gadts
odersky
2014-12-19
1
-8
/
+14
|
\
[next]