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
*
Merge pull request #860 from dotty-staging/change-allow-ex-in-hk
Dmitry Petrashko
2015-11-02
3
-33
/
+3
|
\
|
*
Remove redundant tests
Martin Odersky
2015-10-24
1
-3
/
+1
|
*
Allow existential types in hk types
Martin Odersky
2015-10-24
2
-30
/
+2
*
|
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
*
|
|
Merge pull request #886 from dotty-staging/fix-#884
Guillaume Martres
2015-10-30
1
-1
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix #884 - misdiagnosed ambiguous definition.
Martin Odersky
2015-10-29
1
-1
/
+1
*
|
|
Shorten ctx.typerState.reporter to ctx.reporter
Martin Odersky
2015-10-26
2
-2
/
+2
|
/
/
*
|
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
*
|
Fix issue that prevented instantiating some tvars before implicit search
Guillaume Martres
2015-10-25
1
-1
/
+1
*
|
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
*
|
Check for cyclic inheritance.
Martin Odersky
2015-10-22
1
-1
/
+8
*
|
Merge pull request #841 from dotty-staging/fix-#831-object-self
odersky
2015-10-22
1
-17
/
+24
|
\
\
|
*
|
Adapt sourceModule to new selfInfo scheme.
Martin Odersky
2015-10-22
1
-1
/
+1
|
*
|
Fix #831
Martin Odersky
2015-10-22
1
-17
/
+24
*
|
|
Merge pull request #835 from dotty-staging/add-more-tests
odersky
2015-10-22
1
-1
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Remove disgnostic println
Martin Odersky
2015-10-21
1
-1
/
+1
*
|
|
Avoid mutation in checkWellFormed
Martin Odersky
2015-10-22
1
-4
/
+5
*
|
|
Add well-formedness checking for created symbols
Martin Odersky
2015-10-22
2
-2
/
+61
|
/
/
*
|
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
2
-3
/
+16
|
\
\
|
*
|
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
2
-3
/
+16
*
|
|
Merge pull request #823 from smarter/fix/lifting-and-inference
Guillaume Martres
2015-10-19
5
-44
/
+49
|
\
\
\
|
*
|
|
Always fully define the types of lifted expressions
Guillaume Martres
2015-10-19
1
-1
/
+3
|
*
|
|
Move Inferencing out of the Typer cake
Guillaume Martres
2015-10-09
4
-43
/
+46
*
|
|
|
Merge pull request #817 from smarter/fix/avoid
Guillaume Martres
2015-10-12
1
-21
/
+41
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
TypeAssigner#avoid: do not lose type parameters when the base type changes.
Guillaume Martres
2015-10-09
1
-6
/
+21
|
*
|
|
TypeAssigner#avoid: don't miss escaping refs in complex types
Guillaume Martres
2015-10-09
1
-14
/
+11
|
*
|
|
TypeAssigner#avoid: more precise types for inner classes
Guillaume Martres
2015-10-09
1
-2
/
+10
|
|
/
/
*
|
|
Merge pull request #799 from dotty-staging/change-inference
odersky
2015-10-07
2
-14
/
+97
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Generalize set of typevars instantiated before implicit search
Martin Odersky
2015-09-18
1
-22
/
+35
|
*
|
Fixes #739
Martin Odersky
2015-09-18
2
-6
/
+40
|
*
|
Change algorithm that computes instantiation direction
Martin Odersky
2015-09-18
1
-8
/
+44
*
|
|
Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTime
odersky
2015-10-02
1
-1
/
+1
|
\
\
\
|
*
|
|
fix compiling ScalaRunTime.scala
Sarunas Valaskevicius
2015-09-25
1
-1
/
+1
|
|
|
/
|
|
/
|
*
|
|
Refinements to signature matching
Martin Odersky
2015-09-30
1
-1
/
+1
*
|
|
Fix problem with avoid.
Martin Odersky
2015-09-29
1
-3
/
+4
*
|
|
Matching denotations should take infos into account
Martin Odersky
2015-09-29
2
-2
/
+3
|
/
/
*
|
Eta expand $apply projected types if needed
Martin Odersky
2015-09-21
1
-12
/
+2
*
|
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
1
-1
/
+28
*
|
Replace isLambda with ifHK
Martin Odersky
2015-09-18
3
-8
/
+3
*
|
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
[next]