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 #1409 from dotty-staging/fix-hk-typdefs-of-lambdas
Guillaume Martres
2016-07-25
1
-0
/
+21
|
\
|
*
Take curried type lambdas into account
Martin Odersky
2016-07-22
1
-0
/
+12
|
*
Fix parameterized typedefs with lambdas as rhs
Martin Odersky
2016-07-22
1
-0
/
+9
*
|
Adress reviewers comments
Martin Odersky
2016-07-25
1
-1
/
+1
*
|
Fix #1385: Temporarily lift 22 limit for functions
Martin Odersky
2016-07-25
1
-0
/
+7
*
|
Fix #1401: Make sure all refs are forwarded
Martin Odersky
2016-07-21
1
-0
/
+25
|
/
*
Merge pull request #1395 from dotty-staging/fix-#1378
odersky
2016-07-21
1
-0
/
+3
|
\
|
*
Proparage function result constrains when inferring parameter types
Martin Odersky
2016-07-16
1
-0
/
+3
*
|
Merge pull request #1402 from dotty-staging/fix-wildcard-protos
Guillaume Martres
2016-07-19
1
-0
/
+11
|
\
\
|
*
|
Add test case
Martin Odersky
2016-07-19
1
-0
/
+11
*
|
|
Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefs
odersky
2016-07-19
2
-0
/
+22
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
HK reduction: Remove special-case for typerefs
Guillaume Martres
2016-07-18
1
-0
/
+11
|
*
|
Better test for #1181
Guillaume Martres
2016-07-18
1
-0
/
+11
|
|
/
*
|
Merge pull request #1389 from dotty-staging/fix-#1381
odersky
2016-07-18
3
-0
/
+55
|
\
\
|
|
/
|
/
|
|
*
Make run tests for #1381.
Nicolas Stucki
2016-07-18
1
-36
/
+0
|
*
Add tests
Martin Odersky
2016-07-15
3
-0
/
+39
|
*
Additions to test
Martin Odersky
2016-07-15
1
-0
/
+9
|
*
Changes to overloading
Martin Odersky
2016-07-15
1
-0
/
+43
*
|
Merge pull request #1377 from dotty-staging/#1365
odersky
2016-07-15
1
-0
/
+13
|
\
\
|
*
|
Fix 1365: Fix bindings in patterns
Martin Odersky
2016-07-09
1
-0
/
+13
*
|
|
Merge pull request #1291 from nicolasstucki/implement-scala-dynamic
Dmitry Petrashko
2016-07-15
1
-0
/
+7
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Add scala.Dynamic language feature check.
Nicolas Stucki
2016-07-07
1
-0
/
+7
|
|
/
*
|
Merge pull request #1343 from dotty-staging/change-hk-direct2
odersky
2016-07-15
26
-934
/
+254
|
\
\
|
*
|
Fix bounds checking of hk applied typed
Martin Odersky
2016-07-14
1
-2
/
+32
|
*
|
Allow hk parameters in lower bounds
Martin Odersky
2016-07-13
1
-0
/
+11
|
*
|
Enable test for fixed #1181: Typer should preserve aliases in TypeTrees
Guillaume Martres
2016-07-12
1
-0
/
+12
|
*
|
Drop restriction to 2nd order hk types
Martin Odersky
2016-07-12
2
-0
/
+49
|
*
|
Avoid dealiasing on type application
Martin Odersky
2016-07-12
2
-1
/
+13
|
*
|
Allow definition of new types in refinements
Martin Odersky
2016-07-12
2
-0
/
+54
|
*
|
Fix SI-2712
Martin Odersky
2016-07-11
5
-2
/
+66
|
*
|
More tests
Martin Odersky
2016-07-11
1
-0
/
+13
|
*
|
Disallow higher-kinded types that simulate general existential types
Martin Odersky
2016-07-11
2
-265
/
+0
|
*
|
Change tests
Martin Odersky
2016-07-11
5
-626
/
+0
|
*
|
Eta-expand unapplied types that have type parameters
Martin Odersky
2016-07-11
4
-26
/
+4
|
*
|
Introduce recursive types
Martin Odersky
2016-07-11
2
-16
/
+4
*
|
|
Correct typo in IsInstanceOfEvalautor, fixes #1352
Felix Mulder
2016-07-14
1
-0
/
+15
|
/
/
*
/
Test for #1366
Martin Odersky
2016-07-08
1
-0
/
+6
|
/
*
Merge pull request #1309 from felixmulder/topic/fix#1307
Dmitry Petrashko
2016-06-22
1
-0
/
+7
|
\
|
*
Fix issue with GADT not typechecking without bind in match
Felix Mulder
2016-06-06
1
-0
/
+7
*
|
better handling of overloaded extractors
liu fengyun
2016-06-20
1
-0
/
+38
|
/
*
Do not miss implicits in type parameters of parents
Guillaume Martres
2016-05-31
1
-0
/
+12
*
Fix implicit scope caching bug
Guillaume Martres
2016-05-31
1
-0
/
+16
*
Document why we cannot cache all implicit scopes
Guillaume Martres
2016-05-31
1
-0
/
+17
*
Add test for SI-9795
Felix Mulder
2016-05-27
1
-0
/
+7
*
Annotate repeated params with `case` flag to indicate that they are legal
Felix Mulder
2016-05-27
1
-4
/
+1
*
Don't evaluate isInstanceOf for value classes, disable bugged tests
Felix Mulder
2016-05-26
2
-5
/
+1
*
Two more tests
Martin Odersky
2016-05-19
1
-0
/
+20
*
Allow dependent method type for unapply.
Martin Odersky
2016-04-27
1
-0
/
+14
*
Test case
Martin Odersky
2016-04-27
1
-0
/
+16
*
Merge branch 'master' into fix-equality
odersky
2016-04-26
1
-0
/
+10
|
\
[next]