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
/
tests
/
pos
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #860 from dotty-staging/change-allow-ex-in-hk
Dmitry Petrashko
2015-11-02
2
-0
/
+258
|
\
|
*
Represent references to Scala2 inner classes as WithFixedSym types
Martin Odersky
2015-10-25
1
-6
/
+2
|
*
Add fixed version of GenTraversableFactory.
Martin Odersky
2015-10-24
1
-0
/
+256
|
*
Allow existential types in hk types
Martin Odersky
2015-10-24
1
-0
/
+6
*
|
Merge pull request #887 from dotty-staging/fix-#873
odersky
2015-11-02
1
-0
/
+10
|
\
\
|
*
|
Also handle SAM functions when adaptiing arity of case lambdas.
Martin Odersky
2015-10-30
1
-0
/
+6
|
*
|
Allow pattern matching anonymous functions of arity > 1
Martin Odersky
2015-10-30
1
-0
/
+4
*
|
|
Add tests for wildcards without types
Martin Odersky
2015-11-02
1
-0
/
+2
*
|
|
Parentheses around a wildcard should not produce a lambda
Martin Odersky
2015-11-02
1
-0
/
+24
*
|
|
Address reviewer comments
Martin Odersky
2015-10-30
1
-0
/
+0
*
|
|
Fix #879
Martin Odersky
2015-10-30
1
-0
/
+11
*
|
|
Merge pull request #886 from dotty-staging/fix-#884
Guillaume Martres
2015-10-30
4
-7
/
+10
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Add missing test file.
Martin Odersky
2015-10-30
1
-0
/
+28
|
*
|
Fix #884 - misdiagnosed ambiguous definition.
Martin Odersky
2015-10-29
4
-35
/
+10
*
|
|
Set position on annotations parsed from Java
Guillaume Martres
2015-10-29
1
-0
/
+3
|
/
/
*
|
Fix hole in subtyping of modules
Martin Odersky
2015-10-25
1
-0
/
+9
*
|
Fix issue that prevented instantiating some tvars before implicit search
Guillaume Martres
2015-10-25
1
-2
/
+28
*
|
Less eager tvar interpolation: wait until method calls are fully applied
Guillaume Martres
2015-10-25
1
-0
/
+12
*
|
Merge pull request #843 from dotty-staging/fix-#830
odersky
2015-10-25
1
-0
/
+6
|
\
\
|
|
/
|
/
|
|
*
Fix #830: Compiler hangs on implicit search with singleton &/|
Martin Odersky
2015-10-22
1
-0
/
+6
*
|
Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias
Dmitry Petrashko
2015-10-23
1
-0
/
+11
|
\
\
|
*
|
Fix #815.
Martin Odersky
2015-10-20
1
-0
/
+11
*
|
|
Merge pull request #841 from dotty-staging/fix-#831-object-self
odersky
2015-10-22
1
-0
/
+4
|
\
\
\
|
*
|
|
Fix #831
Martin Odersky
2015-10-22
1
-0
/
+4
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #835 from dotty-staging/add-more-tests
odersky
2015-10-22
4
-0
/
+53
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
More tests
Martin Odersky
2015-10-21
4
-0
/
+53
|
|
/
*
/
Fix tests to survive wellformedness checks
Martin Odersky
2015-10-22
2
-2
/
+2
|
/
*
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Dmitry Petrashko
2015-10-20
1
-1
/
+1
|
\
|
*
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
1
-1
/
+1
*
|
Merge pull request #823 from smarter/fix/lifting-and-inference
Guillaume Martres
2015-10-19
1
-0
/
+9
|
\
\
|
*
|
Always fully define the types of lifted expressions
Guillaume Martres
2015-10-19
1
-0
/
+9
*
|
|
Merge pull request #817 from smarter/fix/avoid
Guillaume Martres
2015-10-12
1
-0
/
+42
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
TypeAssigner#avoid: do not lose type parameters when the base type changes.
Guillaume Martres
2015-10-09
1
-0
/
+12
|
*
|
Add pos test about escaping refinements
Guillaume Martres
2015-10-09
1
-0
/
+10
|
*
|
TypeAssigner#avoid: don't miss escaping refs in complex types
Guillaume Martres
2015-10-09
1
-1
/
+9
|
*
|
TypeAssigner#avoid: more precise types for inner classes
Guillaume Martres
2015-10-09
1
-0
/
+12
*
|
|
Merge pull request #799 from dotty-staging/change-inference
odersky
2015-10-07
1
-0
/
+17
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Generalize set of typevars instantiated before implicit search
Martin Odersky
2015-09-18
1
-0
/
+7
|
*
|
Add test case
Martin Odersky
2015-09-18
1
-0
/
+10
*
|
|
Merge pull request #805 from dotty-staging/change-freeze-bounds
odersky
2015-10-06
1
-0
/
+245
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Add test case
Martin Odersky
2015-10-01
1
-0
/
+245
*
|
|
Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTime
odersky
2015-10-02
1
-0
/
+9
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
add a test for a pattern match with ignored type param
Sarunas Valaskevicius
2015-09-25
1
-0
/
+9
*
|
|
Move test to pos
Martin Odersky
2015-09-29
1
-0
/
+7
|
/
/
*
|
Fixes to comments suggested by reviewer
Martin Odersky
2015-09-21
1
-4
/
+4
*
|
Eta expand $apply projected types if needed
Martin Odersky
2015-09-21
3
-0
/
+625
*
|
Move failing test to pending.
Martin Odersky
2015-09-18
1
-52
/
+0
*
|
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
1
-1
/
+34
*
|
Eta expand type arguments corresponding to lambdas
Martin Odersky
2015-09-18
1
-2
/
+2
|
/
*
Fix desugaring problem
Martin Odersky
2015-09-12
1
-0
/
+565
[next]