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
/
typer
Commit message (
Expand
)
Author
Age
Files
Lines
*
Move realizability logic from Types to TypeOps.
Martin Odersky
2016-02-09
1
-2
/
+2
*
Realizability refactoring
Martin Odersky
2016-02-09
2
-8
/
+19
*
Merge pull request #1063 from dotty-staging/fix-#803
Dmitry Petrashko
2016-02-08
1
-3
/
+6
|
\
|
*
Handle "missing args" case when expected type is a singleton type.
Martin Odersky
2016-02-05
1
-3
/
+6
*
|
Fix #1044: handle TypevarsMissContext mode in wildApprox
Guillaume Martres
2016-02-06
2
-5
/
+11
|
/
*
Fix #1036
Martin Odersky
2016-01-20
1
-1
/
+6
*
Check AppliedTypeTrees bounds inside AppliedTypeTree
Guillaume Martres
2016-01-18
1
-7
/
+10
*
Avoid caching the wrong bounds in TypeRefs
Martin Odersky
2016-01-18
1
-1
/
+16
*
Check bounds everywhere
Martin Odersky
2016-01-18
2
-1
/
+12
*
Keep rhs of TypeDef in typed tree
Martin Odersky
2016-01-18
1
-2
/
+1
*
Always eta-expand AppliedTypeTrees arguments
Guillaume Martres
2016-01-16
1
-1
/
+1
*
Compute type params in namer without completing the whole info
Martin Odersky
2016-01-16
1
-5
/
+24
*
Fix checkNonCyclic.
Martin Odersky
2016-01-16
1
-6
/
+6
*
Merge pull request #1006 from dotty-staging/more-tests
Guillaume Martres
2015-12-26
3
-5
/
+11
|
\
|
*
Fix problem dealing with symbolic import renames
Martin Odersky
2015-12-20
1
-1
/
+1
|
*
Fix eta expansion
Martin Odersky
2015-12-19
1
-1
/
+2
|
*
Don't flag override errors for synthetic companion objects.
Martin Odersky
2015-12-19
1
-2
/
+7
|
*
Fix eta lifting for functions with vararg parameters.
Martin Odersky
2015-12-19
1
-2
/
+2
*
|
Remove extraneous println
Martin Odersky
2015-12-21
1
-1
/
+1
*
|
Make asSeenFrom idempotent
Martin Odersky
2015-12-21
1
-5
/
+29
|
/
*
Fix higher-kinded unions and intersections
Martin Odersky
2015-12-18
1
-1
/
+1
*
More tweaks to override checks.
Martin Odersky
2015-12-15
1
-2
/
+2
*
Change <:< to overrides
Martin Odersky
2015-12-15
1
-1
/
+1
*
Check types for overriding conditions.
Martin Odersky
2015-12-14
1
-5
/
+15
*
Generalize overriding checking from isDefined
Martin Odersky
2015-12-14
1
-1
/
+1
*
Only select parameterless get methods in unapplys.
Martin Odersky
2015-12-14
1
-1
/
+1
*
Better diagnosis for cyclic references caused by class clashes.
Martin Odersky
2015-12-14
1
-1
/
+6
*
Convert super. prefixes of types to this.
Martin Odersky
2015-12-14
1
-1
/
+6
*
Better diagnostics for clashing classes
Martin Odersky
2015-12-14
1
-4
/
+15
*
Drop redundant condition
Martin Odersky
2015-12-14
1
-1
/
+1
*
Make some types of definitions symbolic
Martin Odersky
2015-12-14
1
-3
/
+20
*
Fix tricky bug coming up when compiling TraversableViewLike.
Martin Odersky
2015-12-14
1
-4
/
+34
*
Avoid unassigned type errors when typing curried functions.
Martin Odersky
2015-12-14
1
-21
/
+21
*
Fix of too strict variance checking.
Martin Odersky
2015-12-14
1
-1
/
+1
*
Disregard BaseTypeArg parameters when variance checking.
Martin Odersky
2015-12-14
1
-1
/
+1
*
Perform variance adaptation only when needed in isSubType
Martin Odersky
2015-12-13
2
-2
/
+2
*
Add isBottomType/Class tests to Definitions
Martin Odersky
2015-12-11
1
-4
/
+1
*
Disallow hk type parameters in lower bounds.
Martin Odersky
2015-12-11
4
-6
/
+14
*
Reset constraint when one of several implicit arguments is not found.
Martin Odersky
2015-12-06
1
-1
/
+7
*
Switch to new hk scheme.
Martin Odersky
2015-12-06
2
-6
/
+5
*
More uses of adaptIfHK
Martin Odersky
2015-12-06
2
-18
/
+20
*
Drop argumnt interpolation.
Martin Odersky
2015-11-30
1
-1
/
+1
*
Swap order of arguments in annotations
Martin Odersky
2015-11-22
5
-6
/
+6
*
Annotate `isAsSpecific` with references to its documentation
Guillaume Martres
2015-11-18
1
-9
/
+9
*
Fix ambiguity errors with polymorphic implicits
Guillaume Martres
2015-11-18
1
-6
/
+23
*
Fix #938 - escaping reference.
Martin Odersky
2015-11-17
1
-4
/
+3
*
More refined treatement of pattern type variables
Martin Odersky
2015-11-17
1
-3
/
+8
*
Generalize test to function classes
Martin Odersky
2015-11-16
1
-2
/
+2
*
Flag trailing `_' following non-function as an error
Martin Odersky
2015-11-16
1
-2
/
+13
*
Make secondary constructor type parameters aliases
Martin Odersky
2015-11-16
1
-0
/
+7
[next]