aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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
|\ \
| * | Refine pretypeArgsMartin Odersky2016-03-091-1/+23
| * | Pretype functional arguments when doing overload resolutionMartin Odersky2016-03-091-0/+4
* | | Merge pull request #1168 from dotty-staging/fix-#1131Dmitry Petrashko2016-03-141-0/+14
|\ \ \
| * | | Test caseMartin Odersky2016-03-121-0/+14
| | |/ | |/|
* / | Have checkNotPrivate skip over private aliases.Martin Odersky2016-03-121-0/+6
|/ /
* | Merge pull request #1153 from dotty-staging/vc-companionsodersky2016-03-096-0/+16
|\ \ | |/ |/|
| * Fix for separate compilation with value class issue (missing companion object...VladimirNik2016-03-076-0/+16
* | Allow successive opening comments.Martin Odersky2016-03-071-0/+10
|/
* Merge pull request #1150 from dotty-staging/change-lambdalift-fasttrackodersky2016-03-071-9/+0
|\
| * Handle local traits in lambda liftMartin Odersky2016-03-011-9/+0