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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Changes to overloading
Martin Odersky
2016-07-15
2
-70
/
+71
*
Merge pull request #1343 from dotty-staging/change-hk-direct2
odersky
2016-07-15
50
-1337
/
+1914
|
\
|
*
Bounds of type lambdas compare contravariantly
Martin Odersky
2016-07-15
1
-12
/
+18
|
*
Fix bounds checking of hk applied typed
Martin Odersky
2016-07-14
4
-46
/
+30
|
*
Allow hk parameters in lower bounds
Martin Odersky
2016-07-13
4
-17
/
+8
|
*
Simplify variance computations
Martin Odersky
2016-07-13
1
-6
/
+2
|
*
Make rewritings of hk applications configurable
Martin Odersky
2016-07-13
4
-18
/
+42
|
*
Optimize hk comparisons
Martin Odersky
2016-07-13
2
-11
/
+24
|
*
Drop restriction to 2nd order hk types
Martin Odersky
2016-07-12
1
-4
/
+2
|
*
Avoid dealiasing on type application
Martin Odersky
2016-07-12
6
-53
/
+89
|
*
Allow definition of new types in refinements
Martin Odersky
2016-07-12
1
-1
/
+1
|
*
ExtractAPI: Add support for RecType
Guillaume Martres
2016-07-12
1
-2
/
+14
|
*
ExtractAPI: Add support for TypeLambdas
Guillaume Martres
2016-07-12
1
-4
/
+11
|
*
ExtractAPI: Do not miss value parameters of PolyTypes
Guillaume Martres
2016-07-12
1
-0
/
+3
|
*
Address reviewers comments
Martin Odersky
2016-07-11
11
-49
/
+55
|
*
Fix SI-2712
Martin Odersky
2016-07-11
6
-18
/
+84
|
*
Drop compareAliasedRefined
Martin Odersky
2016-07-11
2
-37
/
+4
|
*
Refactor Typevar instantiation
Martin Odersky
2016-07-11
2
-43
/
+52
|
*
Add a case where caching was missing.
Martin Odersky
2016-07-11
2
-3
/
+5
|
*
Do the right thing for NoDenotation.mapInfo
Martin Odersky
2016-07-11
1
-0
/
+1
|
*
Unify aliases when taking a lub.
Martin Odersky
2016-07-11
1
-2
/
+18
|
*
Less eager removal of type parameters from constraint
Martin Odersky
2016-07-11
3
-24
/
+26
|
*
Disallow higher-kinded types that simulate general existential types
Martin Odersky
2016-07-11
3
-5
/
+63
|
*
Fix bug in printing untyped New nodes.
Martin Odersky
2016-07-11
1
-1
/
+5
|
*
Avoid orphan parameters in Constraint#replace
Martin Odersky
2016-07-11
1
-1
/
+1
|
*
Drop Config.checkKinds
Martin Odersky
2016-07-11
13
-107
/
+20
|
*
Refactorings of GenericTypes and underlying/upperbound
Martin Odersky
2016-07-11
9
-146
/
+100
|
*
Revert complications in asMemberOf
Martin Odersky
2016-07-11
2
-25
/
+4
|
*
Cleanup of Signature matching
Martin Odersky
2016-07-11
4
-14
/
+19
|
*
Simplify appliedTo
Martin Odersky
2016-07-11
1
-23
/
+9
|
*
Get rid of BindingKind
Martin Odersky
2016-07-11
5
-65
/
+17
|
*
Handle signatures over uninstantiated type variables
Martin Odersky
2016-07-11
5
-12
/
+40
|
*
Remove refinement encoding of hk types
Martin Odersky
2016-07-11
17
-653
/
+112
|
*
Fixes for printing under -Ytest-pickler
Martin Odersky
2016-07-11
2
-2
/
+3
|
*
Fix parameter unpickling
Martin Odersky
2016-07-11
1
-10
/
+10
|
*
Drop assertion in TypeMap
Martin Odersky
2016-07-11
2
-6
/
+6
|
*
Special case for TypeRefs in upperbound
Martin Odersky
2016-07-11
1
-1
/
+6
|
*
Fixes to hk comparisons
Martin Odersky
2016-07-11
1
-14
/
+8
|
*
Don't dealias when applying types
Martin Odersky
2016-07-11
1
-4
/
+6
|
*
Don't make * types higher-kinded in avoid
Martin Odersky
2016-07-11
1
-2
/
+4
|
*
Handle WildcardType in liftToClasses
Martin Odersky
2016-07-11
2
-1
/
+2
|
*
Handle findMember for unreduced hk types.
Martin Odersky
2016-07-11
1
-3
/
+22
|
*
Beta-reduce with wildcard arguments if this is safe.
Martin Odersky
2016-07-11
2
-9
/
+45
|
*
When comparing types revert eta-expansion as needed
Martin Odersky
2016-07-11
3
-14
/
+53
|
*
Skip typeBounds when computing upperBound
Martin Odersky
2016-07-11
1
-1
/
+1
|
*
Drop bounds checking for type lambdas
Martin Odersky
2016-07-11
1
-5
/
+13
|
*
Allow for HK types in widenForMatchSelector
Martin Odersky
2016-07-11
1
-2
/
+4
|
*
Refactor handling of unpickled type params
Martin Odersky
2016-07-11
7
-64
/
+103
|
*
Avoid cyclic errors when reading nsc.Global
Martin Odersky
2016-07-11
1
-0
/
+7
|
*
Handle TypeLambdas in findMember
Martin Odersky
2016-07-11
2
-10
/
+7
[next]