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
/
compiler
/
src
/
dotty
/
tools
/
dotc
/
core
/
TypeComparer.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Tweak logic for hk type comparisons
Martin Odersky
2017-04-09
1
-4
/
+3
*
Narrow matches from TypeLambda to HKTypeLambda where appropriate
Martin Odersky
2017-04-06
1
-1
/
+1
*
Merge MethodType and PolyType functionality where possible
Martin Odersky
2017-04-06
1
-30
/
+30
*
Split HKTypeLambda from PolyType
Martin Odersky
2017-04-06
1
-2
/
+2
*
Generalize comparisons from PolyTypes to TypeLambdas
Martin Odersky
2017-04-06
1
-7
/
+7
*
Further refactorings
Martin Odersky
2017-04-06
1
-16
/
+16
*
Rename PolyParam --> TypeParamRef
Martin Odersky
2017-04-06
1
-16
/
+16
*
Harmonize paramTypes and paramBounds
Martin Odersky
2017-04-06
1
-6
/
+6
*
Break out functionality from MethodType
Martin Odersky
2017-04-06
1
-8
/
+8
*
Encode variances in parameter names
Martin Odersky
2017-04-06
1
-4
/
+4
*
Better type inference in harmonizeUnion
Guillaume Martres
2017-03-18
1
-13
/
+15
*
Construct MethodTypes from parameter closure
Martin Odersky
2017-03-14
1
-4
/
+4
*
Merge pull request #2045 from dotty-staging/fix-hlist-hmap
odersky
2017-03-09
1
-14
/
+19
|
\
|
*
Adress reviewers comments
Martin Odersky
2017-03-03
1
-1
/
+1
|
*
More tests
Martin Odersky
2017-03-02
1
-1
/
+1
|
*
Make alignArgsInAnd safe and turn it on by default
Martin Odersky
2017-03-01
1
-2
/
+2
|
*
Don't align aliases in refined types by default
Martin Odersky
2017-02-28
1
-14
/
+19
*
|
Drop named type parameters in classes
Martin Odersky
2017-03-04
1
-13
/
+1
|
/
*
Fix #2000: Make implicit and non-implicit functions incomparable with <:<
Martin Odersky
2017-02-21
1
-1
/
+1
*
Add more explanation.
Martin Odersky
2017-01-11
1
-0
/
+3
*
Fix #1891: Don't add redundant constraint
Martin Odersky
2017-01-10
1
-2
/
+10
*
Fix subtyping of hk types with wildcard arguments
Martin Odersky
2016-12-20
1
-2
/
+8
*
Merge pull request #1775 from dotty-staging/add-implicit-funtypes
odersky
2016-12-18
1
-4
/
+4
|
\
|
*
Changes for matching and subtyping implicit methods
Martin Odersky
2016-12-17
1
-4
/
+4
*
|
Make errors are not swept under the carpet
Martin Odersky
2016-12-17
1
-2
/
+2
|
/
*
Drop explicit types for local implicit vals
Martin Odersky
2016-12-12
1
-2
/
+2
*
handle ConstantType in TypeComparer
Reto Hablützel
2016-12-04
1
-0
/
+5
*
Fix $1753 Better comparison of path types
Martin Odersky
2016-11-30
1
-2
/
+4
*
Move compiler and compiler tests to compiler dir
Felix Mulder
2016-11-22
1
-0
/
+1502