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
/
typer
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #2209 from dotty-staging/fix-#2152
odersky
2017-04-13
1
-8
/
+9
|
\
|
*
Fix #2152: Instantiate dependent result type parameters
Martin Odersky
2017-04-11
1
-8
/
+9
*
|
Revert <: Product requierment in pattern matching
Olivier Blanvillain
2017-04-13
2
-6
/
+3
*
|
Merge pull request #2225 from dotty-staging/fix-#2192
odersky
2017-04-11
1
-26
/
+22
|
\
\
|
*
|
Fix #2212: Avoid imports in the wrong namespace
Martin Odersky
2017-04-11
1
-26
/
+22
*
|
|
Add fullyDefinedType for class parent types
Martin Odersky
2017-04-11
1
-1
/
+1
|
|
/
|
/
|
*
|
Merge pull request #1938 from dotty-staging/named-based-patmat
Felix Mulder
2017-04-11
2
-8
/
+12
|
\
\
|
*
|
Move isProductSubType to Applications & rename to canProductMatch
Olivier Blanvillain
2017-04-11
2
-5
/
+7
|
*
|
Decouple Product and pattern-matching
Olivier Blanvillain
2017-04-06
2
-7
/
+9
*
|
|
Lazy entering of names with internal $'s in package scopes
Martin Odersky
2017-04-11
1
-2
/
+2
*
|
|
Names are no longer Seqs
Martin Odersky
2017-04-11
2
-3
/
+4
*
|
|
Cleanups of NameOps
Martin Odersky
2017-04-11
2
-16
/
+11
*
|
|
Make outer select names semantic
Martin Odersky
2017-04-11
1
-6
/
+3
*
|
|
Decentralize unmangling, add new nameKinds
Martin Odersky
2017-04-11
1
-1
/
+2
*
|
|
Rename NameExtractor -> NameKind
Martin Odersky
2017-04-11
4
-4
/
+4
*
|
|
Make freshName semantic
Martin Odersky
2017-04-11
3
-7
/
+9
*
|
|
Get rid of SuperAccessor flag
Martin Odersky
2017-04-11
1
-1
/
+1
*
|
|
Drop Config.semanticNames option
Martin Odersky
2017-04-11
1
-1
/
+2
*
|
|
Bug fixes
Martin Odersky
2017-04-11
1
-1
/
+1
*
|
|
Merge pull request #2215 from dotty-staging/#2142
odersky
2017-04-11
2
-4
/
+21
|
\
\
\
|
*
|
|
Align safe parameter substitution with other subst methods
Martin Odersky
2017-04-10
2
-6
/
+6
|
*
|
|
Skolemize arguments to dependent methods as necessary.
Martin Odersky
2017-04-10
2
-4
/
+21
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #2206 from dotty-staging/fix-#2198
odersky
2017-04-10
1
-2
/
+4
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix #2198: Don't widen module singletons
Martin Odersky
2017-04-09
1
-2
/
+4
|
|
/
*
/
Fix #2192: Fullow supertypes when determining whether an expect type is a fun...
Martin Odersky
2017-04-09
1
-2
/
+12
|
/
*
Polishings
Martin Odersky
2017-04-06
1
-1
/
+1
*
Narrow matches from TypeLambda to HKTypeLambda where appropriate
Martin Odersky
2017-04-06
1
-3
/
+3
*
Merge MethodType and PolyType functionality where possible
Martin Odersky
2017-04-06
5
-15
/
+7
*
Split HKTypeLambda from PolyType
Martin Odersky
2017-04-06
4
-17
/
+17
*
Eliminate LambdaAbstract
Martin Odersky
2017-04-06
4
-7
/
+6
*
Further refactorings
Martin Odersky
2017-04-06
7
-19
/
+14
*
Rename PolyTypeTree -> LambdaTypeTree
Martin Odersky
2017-04-06
3
-10
/
+10
*
Eliminate MethodOrPoly
Martin Odersky
2017-04-06
2
-2
/
+2
*
replace derived{Method,Poly}Type with derivedLambdaType
Martin Odersky
2017-04-06
5
-5
/
+5
*
Rename PolyParam --> TypeParamRef
Martin Odersky
2017-04-06
7
-18
/
+18
*
Refactor ParamRef so that no type params are needed
Martin Odersky
2017-04-06
1
-1
/
+1
*
Harmonize paramTypes and paramBounds
Martin Odersky
2017-04-06
14
-47
/
+47
*
Break out functionality from MethodType
Martin Odersky
2017-04-06
7
-10
/
+10
*
Encode variances in parameter names
Martin Odersky
2017-04-06
1
-1
/
+1
*
Merge pull request #1958 from dotty-staging/add-enum
odersky
2017-04-06
2
-2
/
+8
|
\
|
*
Avoid assertion failure on neg test
Martin Odersky
2017-04-04
1
-1
/
+8
|
*
Allow value expansion of modules in mergeCompanionDefs
Martin Odersky
2017-04-04
1
-1
/
+0
*
|
Merge pull request #2190 from dotty-staging/fix-robust-avoidance
Guillaume Martres
2017-04-04
1
-2
/
+8
|
\
\
|
*
|
Make leak avoidance more robust
Martin Odersky
2017-04-04
1
-2
/
+8
|
|
/
*
|
checkNoPrivateLeaks: Do not allow types to refer to leaky aliases
Guillaume Martres
2017-04-04
1
-6
/
+17
*
|
Merge pull request #2168 from allanrenucci/warnings
Guillaume Martres
2017-04-04
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
Addresses review comments
Allan Renucci
2017-04-04
1
-1
/
+1
|
*
Fixes @unchecked warnings
Allan Renucci
2017-04-03
1
-1
/
+1
*
|
Create dummy companions for classes without a real one
Guillaume Martres
2017-03-29
1
-5
/
+16
|
/
*
Namer#createCompanionLinks: avoid using denotNamed
Guillaume Martres
2017-03-24
1
-4
/
+4
[next]