aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* 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
|\ \
| * | Fix 1365: Fix bindings in patternsMartin Odersky2016-07-091-0/+13
* | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-0/+7
|\ \ \ | |_|/ |/| |
| * | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-071-0/+7
| |/
* | Merge pull request #1343 from dotty-staging/change-hk-direct2odersky2016-07-1526-934/+254
|\ \
| * | Fix bounds checking of hk applied typedMartin Odersky2016-07-141-2/+32
| * | Allow hk parameters in lower boundsMartin Odersky2016-07-131-0/+11
| * | Enable test for fixed #1181: Typer should preserve aliases in TypeTreesGuillaume Martres2016-07-121-0/+12
| * | Drop restriction to 2nd order hk typesMartin Odersky2016-07-122-0/+49
| * | Avoid dealiasing on type applicationMartin Odersky2016-07-122-1/+13
| * | Allow definition of new types in refinementsMartin Odersky2016-07-122-0/+54
| * | Fix SI-2712Martin Odersky2016-07-115-2/+66
| * | More testsMartin Odersky2016-07-111-0/+13
| * | Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-112-265/+0
| * | Change testsMartin Odersky2016-07-115-626/+0
| * | Eta-expand unapplied types that have type parametersMartin Odersky2016-07-114-26/+4
| * | Introduce recursive typesMartin Odersky2016-07-112-16/+4
* | | Correct typo in IsInstanceOfEvalautor, fixes #1352Felix Mulder2016-07-141-0/+15
|/ /
* / Test for #1366Martin Odersky2016-07-081-0/+6
|/
* Merge pull request #1309 from felixmulder/topic/fix#1307Dmitry Petrashko2016-06-221-0/+7
|\
| * Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-0/+7
* | better handling of overloaded extractorsliu fengyun2016-06-201-0/+38
|/
* Do not miss implicits in type parameters of parentsGuillaume Martres2016-05-311-0/+12
* Fix implicit scope caching bugGuillaume Martres2016-05-311-0/+16