aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* 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
* Document why we cannot cache all implicit scopesGuillaume Martres2016-05-311-0/+17
* Add test for SI-9795Felix Mulder2016-05-271-0/+7
* Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-271-4/+1
* Don't evaluate isInstanceOf for value classes, disable bugged testsFelix Mulder2016-05-262-5/+1
* Two more testsMartin Odersky2016-05-191-0/+20
* Allow dependent method type for unapply.Martin Odersky2016-04-271-0/+14
* Test caseMartin Odersky2016-04-271-0/+16
* Merge branch 'master' into fix-equalityodersky2016-04-261-0/+10
|\
| * Fix test failures in tailcall due to name clashes.Dmitry Petrashko2016-04-211-1/+1
| * Test #1221.Dmitry Petrashko2016-04-181-0/+10
* | Add test that demonstrate that #878 is fixedGuillaume Martres2016-04-221-0/+17
|/
* Merge pull request #1211 from dotty-staging/fix-#1202odersky2016-04-161-0/+14
|\
| * Augment test caseMartin Odersky2016-04-071-0/+14
* | Check that #1216 is fixed.Dmitry Petrashko2016-04-142-0/+22
* | Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-064-12/+126
|\ \ | |/ |/|
| * Domain checking for named type parametersMartin Odersky2016-03-301-10/+10
| * Test casesMartin Odersky2016-03-302-2/+52
| * Fix test case.Martin Odersky2016-03-301-4/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-17 19:47:04 +0000