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
/
Types.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix #2152: Instantiate dependent result type parameters
Martin Odersky
2017-04-11
1
-1
/
+1
*
Rename NameExtractor -> NameKind
Martin Odersky
2017-04-11
1
-1
/
+1
*
Make freshName semantic
Martin Odersky
2017-04-11
1
-4
/
+4
*
Add ShadowedName and AvoidClashName
Martin Odersky
2017-04-11
1
-3
/
+4
*
Generalize definition of Type#isStable
Martin Odersky
2017-04-10
1
-2
/
+3
*
Three fixes wrt handlings of package objects
Martin Odersky
2017-04-09
1
-7
/
+16
*
Merge pull request #2193 from dotty-staging/deterministic-tests
Felix Mulder
2017-04-06
1
-1
/
+1
|
\
|
*
Deterministically randomises test compilation order
Olivier Blanvillain
2017-04-05
1
-1
/
+1
*
|
Update doc comment on HkTypeLambda/PolyType
Martin Odersky
2017-04-06
1
-12
/
+13
*
|
Polishings
Martin Odersky
2017-04-06
1
-5
/
+6
*
|
Refactorings for efficiency
Martin Odersky
2017-04-06
1
-40
/
+53
*
|
Narrow matches from TypeLambda to HKTypeLambda where appropriate
Martin Odersky
2017-04-06
1
-2
/
+2
*
|
Merge MethodType and PolyType functionality where possible
Martin Odersky
2017-04-06
1
-38
/
+23
*
|
Make PolyType a ground type
Martin Odersky
2017-04-06
1
-1
/
+1
*
|
Split HKTypeLambda from PolyType
Martin Odersky
2017-04-06
1
-4
/
+1
*
|
Eliminate LambdaAbstract
Martin Odersky
2017-04-06
1
-5
/
+23
*
|
Further refactorings
Martin Odersky
2017-04-06
1
-50
/
+58
*
|
Rename PolyTypeTree -> LambdaTypeTree
Martin Odersky
2017-04-06
1
-13
/
+13
*
|
Add HKTypeLambda
Martin Odersky
2017-04-06
1
-5
/
+40
*
|
Eliminate MethodOrPoly
Martin Odersky
2017-04-06
1
-3
/
+1
*
|
Eliminate ParamType
Martin Odersky
2017-04-06
1
-10
/
+4
*
|
replace derived{Method,Poly}Type with derivedLambdaType
Martin Odersky
2017-04-06
1
-16
/
+5
*
|
Add StarLambda, HKLambda abstractions ...
Martin Odersky
2017-04-06
1
-70
/
+79
*
|
Make PolyTypes subtypes of LambdaTypes
Martin Odersky
2017-04-06
1
-59
/
+50
*
|
Rename PolyParam --> TypeParamRef
Martin Odersky
2017-04-06
1
-20
/
+13
*
|
Refactor ParamRef so that no type params are needed
Martin Odersky
2017-04-06
1
-48
/
+28
*
|
Remove parameter from lambda type
Martin Odersky
2017-04-06
1
-8
/
+11
*
|
Get rid of Name parameter for LambdaType and ParamRef
Martin Odersky
2017-04-06
1
-21
/
+29
*
|
ParamType refactorings
Martin Odersky
2017-04-06
1
-73
/
+74
*
|
Harmonize paramTypes and paramBounds
Martin Odersky
2017-04-06
1
-100
/
+103
*
|
Break out functionality from MethodType
Martin Odersky
2017-04-06
1
-82
/
+124
*
|
Add neg test for illegal parameter names
Martin Odersky
2017-04-06
1
-1
/
+1
*
|
Encode variances in parameter names
Martin Odersky
2017-04-06
1
-12
/
+23
|
/
*
Handle shadowed for TermRefWithSig
Martin Odersky
2017-03-20
1
-4
/
+8
*
Allow going from non-priv to priv denot when run changes
Guillaume Martres
2017-03-16
1
-11
/
+6
*
Don't force denotations in asMemberOf
Guillaume Martres
2017-03-16
1
-5
/
+6
*
Fix #2099: avoid loading a private member when recomputing a NamedType denot
Guillaume Martres
2017-03-16
1
-2
/
+6
*
Merge pull request #2096 from dotty-staging/fix-i2051
Dmitry Petrashko
2017-03-15
1
-3
/
+4
|
\
|
*
fix #2051: allow override T with => T or ()T
liu fengyun
2017-03-14
1
-3
/
+4
*
|
Merge pull request #2043 from dotty-staging/tailrec-derivesFrom
Dmitry Petrashko
2017-03-15
1
-36
/
+36
|
\
\
|
*
|
Add @tailrec to avoid regressions.
Nicolas Stucki
2017-03-01
1
-30
/
+30
|
*
|
Make loop in derivesFrom a tailrec loop.
Nicolas Stucki
2017-03-01
1
-6
/
+6
*
|
|
Drop dead method and test
Martin Odersky
2017-03-14
1
-19
/
+2
*
|
|
Drop mixed MethodType apply method
Martin Odersky
2017-03-14
1
-4
/
+2
*
|
|
Add method to track parameter dependency status
Martin Odersky
2017-03-14
1
-4
/
+24
*
|
|
Construct dependent method types from symbols
Martin Odersky
2017-03-14
1
-5
/
+17
*
|
|
Construct MethodTypes from parameter closure
Martin Odersky
2017-03-14
1
-25
/
+36
*
|
|
fix #2071: handle HKApply in SAMType
liu fengyun
2017-03-14
1
-0
/
+2
|
|
/
|
/
|
*
|
Comment ApproximatingTypeMap
Martin Odersky
2017-03-12
1
-0
/
+7
*
|
Merge pull request #2068 from dotty-staging/fix-#2064
odersky
2017-03-09
1
-8
/
+7
|
\
\
[next]