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
/
Typer.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Realizability refactoring
Martin Odersky
2016-02-09
1
-3
/
+4
*
Handle "missing args" case when expected type is a singleton type.
Martin Odersky
2016-02-05
1
-3
/
+6
*
Fix #1036
Martin Odersky
2016-01-20
1
-1
/
+6
*
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
*
Merge pull request #1006 from dotty-staging/more-tests
Guillaume Martres
2015-12-26
1
-1
/
+1
|
\
|
*
Fix problem dealing with symbolic import renames
Martin Odersky
2015-12-20
1
-1
/
+1
*
|
Remove extraneous println
Martin Odersky
2015-12-21
1
-1
/
+1
*
|
Make asSeenFrom idempotent
Martin Odersky
2015-12-21
1
-5
/
+29
|
/
*
Convert super. prefixes of types to this.
Martin Odersky
2015-12-14
1
-1
/
+6
*
Disallow hk type parameters in lower bounds.
Martin Odersky
2015-12-11
1
-0
/
+1
*
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
1
-4
/
+3
*
Swap order of arguments in annotations
Martin Odersky
2015-11-22
1
-1
/
+1
*
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
*
Shorten ..Class.typeRef to ..Type
Martin Odersky
2015-11-09
1
-3
/
+3
*
Merge pull request #927 from dotty-staging/stdlib-bounds
odersky
2015-11-09
1
-2
/
+0
|
\
|
*
Drop test that lower bound must be a subtype of upper bound.
Martin Odersky
2015-11-05
1
-2
/
+0
*
|
Merge pull request #905 from dotty-staging/fix-nested-pkg-member-2
odersky
2015-11-09
1
-1
/
+3
|
\
\
|
|
/
|
/
|
|
*
Fix problem when accessing same identifier from nested packages.
Martin Odersky
2015-11-02
1
-1
/
+3
*
|
Merge pull request #860 from dotty-staging/change-allow-ex-in-hk
Dmitry Petrashko
2015-11-02
1
-28
/
+1
|
\
\
|
*
|
Allow existential types in hk types
Martin Odersky
2015-10-24
1
-28
/
+1
*
|
|
Merge pull request #887 from dotty-staging/fix-#873
odersky
2015-11-02
1
-10
/
+13
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Also handle SAM functions when adaptiing arity of case lambdas.
Martin Odersky
2015-10-30
1
-14
/
+13
|
*
|
Allow pattern matching anonymous functions of arity > 1
Martin Odersky
2015-10-30
1
-1
/
+5
*
|
|
Fix #879
Martin Odersky
2015-10-30
1
-1
/
+1
*
|
|
Fix #884 - misdiagnosed ambiguous definition.
Martin Odersky
2015-10-29
1
-1
/
+1
|
/
/
*
|
Readd `.widen` which was accidentally removed from the previous commit
Guillaume Martres
2015-10-25
1
-1
/
+1
*
|
Simplify logic in adapt
Martin Odersky
2015-10-25
1
-10
/
+2
*
|
Less eager tvar interpolation: wait until method calls are fully applied
Guillaume Martres
2015-10-25
1
-2
/
+11
|
/
*
Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias
Dmitry Petrashko
2015-10-23
1
-1
/
+6
|
\
|
*
Fix #815.
Martin Odersky
2015-10-20
1
-1
/
+6
*
|
Merge pull request #811 from dotty-staging/fix-objects-mixin
Dmitry Petrashko
2015-10-21
1
-2
/
+0
|
\
\
|
|
/
|
/
|
|
*
Typer: remove unused TyperContextOps
Dmitry Petrashko
2015-09-29
1
-2
/
+0
*
|
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Dmitry Petrashko
2015-10-20
1
-3
/
+3
|
\
\
|
*
|
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
1
-3
/
+3
*
|
|
Move Inferencing out of the Typer cake
Guillaume Martres
2015-10-09
1
-1
/
+43
*
|
|
Merge pull request #799 from dotty-staging/change-inference
odersky
2015-10-07
1
-0
/
+2
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fixes #739
Martin Odersky
2015-09-18
1
-0
/
+2
*
|
|
fix compiling ScalaRunTime.scala
Sarunas Valaskevicius
2015-09-25
1
-1
/
+1
|
|
/
|
/
|
*
|
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
1
-1
/
+28
*
|
Replace isLambda with ifHK
Martin Odersky
2015-09-18
1
-6
/
+1
*
|
Rename Apply -> hkApply
Martin Odersky
2015-09-18
1
-1
/
+6
*
|
Add missing position to error
Martin Odersky
2015-09-18
1
-1
/
+1
*
|
Adapt type arguments in typedAppliedTypeTree
Martin Odersky
2015-09-18
1
-11
/
+13
*
|
Adapt arguments in all type applications
Martin Odersky
2015-09-18
1
-4
/
+5
*
|
Check argument lengths in typedAppliedTypeTree
Martin Odersky
2015-09-18
1
-2
/
+12
|
/
[next]