aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
...
* | | 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
| * Simplify and fix avoid logicMartin Odersky2016-03-301-0/+33
| * Fixes to checkNonCyclicMartin Odersky2016-03-301-0/+31
* | FullParametrization: allow to have $this of ThisType.Dmitry Petrashko2016-03-311-0/+26
* | Remove Variances.scala files accidentally leftover from #1193Guillaume Martres2016-03-311-15/+0
* | merge variances and VariancesMartin Odersky2016-03-311-0/+15
* | Add tests related to variance checking.Sandro Stucki2016-03-301-0/+15
|/
* Fix problem involving classtag based pattern matches.Martin Odersky2016-03-211-0/+19
* Merge pull request #1166 from dotty-staging/fix-#1136odersky2016-03-181-1/+1
|\
| * Fix test casesMartin Odersky2016-03-111-1/+1
* | Merge pull request #1160 from dotty-staging/add/collection-strawmanodersky2016-03-181-0/+26
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 05:38:45 +0000