aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
...
* | Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-261-0/+12
* | Recategorize testsMartin Odersky2016-08-2636-0/+751
* | GADT testMartin Odersky2016-08-261-0/+25
* | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-261-0/+33
|\ \ | |/ |/|
| * Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-0/+33
* | Merge pull request #1456 from dotty-staging/fix-#1444odersky2016-08-211-0/+14
|\ \ | |/ |/|
| * Fix #1444: Add implicit arguments to supertraitsMartin Odersky2016-08-201-0/+14
* | Merge pull request #1459 from dotty-staging/tests3odersky2016-08-211-0/+76
|\ \
| * | Address reviewers comments.Martin Odersky2016-08-211-4/+2
| * | Refinements to auto tuplingMartin Odersky2016-08-181-0/+78
| |/
* / Fixes in comparisons between singleton typesMartin Odersky2016-08-181-0/+16
|/
* Merge pull request #1452 from dotty-staging/fix-#1432Guillaume Martres2016-08-171-0/+3
|\
| * Fix #1432: Fix desugaring of Bind(WILDCARD, _).Nicolas Stucki2016-08-151-0/+3
* | Add passing testsMartin Odersky2016-08-1710-0/+564
* | Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-172-0/+39
* | Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-0/+27
* | Merge pull request #1445 from dotty-staging/fix-#1442Dmitry Petrashko2016-08-151-0/+24
|\ \ | |/ |/|
| * Test that #1442 is fixed.Dmitry Petrashko2016-08-091-0/+24
* | Merge pull request #1414 from dotty-staging/add-array-strawmanodersky2016-08-143-8/+37
|\ \
| * | Index members of a class before evaluating its parentsMartin Odersky2016-07-291-0/+26
| * | Move test from pos to runMartin Odersky2016-07-271-8/+0
| * | Fix substDealiasMartin Odersky2016-07-271-0/+11
* | | Fix #1447: Make X$ <:< X.type when X is an objectGuillaume Martres2016-08-091-0/+10
| |/ |/|
* | Add tests for infix types with wildcard parametersClemens Winter2016-08-011-0/+9
* | Merge pull request #1398 from dotty-staging/fix-#1269Dmitry Petrashko2016-07-311-0/+16
|\ \
| * | Fix outer test in pattern matcherMartin Odersky2016-07-171-0/+16
* | | Fix #1285: Mutable vars are not to be considered constantMartin Odersky2016-07-311-0/+4
* | | Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-276-45/+1
|\ \ \
| * | | Move java tests relying on type parameters to pendingGuillaume Martres2016-07-274-44/+0
| * | | pos/java-interop/volatile: Fix compilation with javacGuillaume Martres2016-07-271-0/+0
| * | | Remove overloaded constructor for annotationsGuillaume Martres2016-07-271-1/+1
| | |/ | |/|
* | | Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdasGuillaume Martres2016-07-251-0/+21
|\ \ \ | |/ / |/| |
| * | Take curried type lambdas into accountMartin Odersky2016-07-221-0/+12
| * | Fix parameterized typedefs with lambdas as rhsMartin Odersky2016-07-221-0/+9
* | | Adress reviewers commentsMartin Odersky2016-07-251-1/+1
* | | Fix #1385: Temporarily lift 22 limit for functionsMartin Odersky2016-07-251-0/+7
* | | Fix #1401: Make sure all refs are forwardedMartin Odersky2016-07-211-0/+25
|/ /
* | Merge pull request #1395 from dotty-staging/fix-#1378odersky2016-07-211-0/+3
|\ \
| * | Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-161-0/+3
| |/
* | Merge pull request #1402 from dotty-staging/fix-wildcard-protosGuillaume Martres2016-07-191-0/+11
|\ \
| * | Add test caseMartin Odersky2016-07-191-0/+11
* | | Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefsodersky2016-07-192-0/+22
|\ \ \ | |/ / |/| |
| * | HK reduction: Remove special-case for typerefsGuillaume Martres2016-07-181-0/+11
| * | Better test for #1181Guillaume Martres2016-07-181-0/+11
| |/
* | Merge pull request #1389 from dotty-staging/fix-#1381odersky2016-07-183-0/+55
|\ \ | |/ |/|
| * Make run tests for #1381.Nicolas Stucki2016-07-181-36/+0
| * Add testsMartin Odersky2016-07-153-0/+39
| * Additions to testMartin Odersky2016-07-151-0/+9
| * Changes to overloadingMartin Odersky2016-07-151-0/+43
* | Merge pull request #1377 from dotty-staging/#1365odersky2016-07-151-0/+13
|\ \