aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
* Add more pos and neg testsMartin Odersky2016-02-161-1/+3
* Auto-uncurry n-ary functions.Martin Odersky2016-02-161-0/+22
* Merge pull request #1081 from dotty-staging/fix-#645Dmitry Petrashko2016-02-121-0/+15
|\
| * Add test case for #645Martin Odersky2016-02-121-0/+15
* | Survive class of errors in implicit searchMartin Odersky2016-02-121-0/+5
|/
* By-name parameters are not stable values.Martin Odersky2016-02-092-14/+21
* New test files from SI 7278.Martin Odersky2016-02-091-0/+42
* Big realizability refactoringMartin Odersky2016-02-095-38/+129
* Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-0/+27
* Drop lines from testMartin Odersky2016-02-092-3/+1
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-3/+18
* Handle imports in path checks.Martin Odersky2016-02-091-11/+9
* Fix path error disgnasticsMartin Odersky2016-02-091-0/+16
* Only final lazy vals can be paths.Martin Odersky2016-02-092-2/+31
* Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-091-1/+7
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-094-21/+79
* Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-0/+24
* Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-9/+9
* No volatile check needed for strict vals.Martin Odersky2016-02-091-9/+9
* Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-0/+11
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-0/+5
* Adapt and add testsMartin Odersky2016-01-183-7/+143
* Fix checkNonCyclic.Martin Odersky2016-01-161-0/+8
* Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-0/+13
* Update test error countMartin Odersky2015-12-221-2/+2
* Fix off by 2 error for symbol positionsMartin Odersky2015-12-221-5/+0
* Add test caseMartin Odersky2015-12-191-0/+40
* Check types for overriding conditions.Martin Odersky2015-12-141-0/+18
* Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-142-19/+20
* Make some types of definitions symbolicMartin Odersky2015-12-141-11/+11
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+11
* Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-0/+16
* Generalize test to function classesMartin Odersky2015-11-161-0/+9
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-092-39/+8
|\
| * Check bounds of inferred typevars in PostTyper.Martin Odersky2015-11-051-0/+8
| * Drop test that lower bound must be a subtype of upper bound.Martin Odersky2015-11-051-39/+0
* | Handle variance unsoundness in scalacMartin Odersky2015-11-051-0/+26
|/
* Merge pull request #900 from dotty-staging/fix-#871odersky2015-11-051-0/+5
|\
| * Deal gracefully with missing return types of abstract menthods.Martin Odersky2015-11-011-0/+5
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-022-15/+4
|\ \ | |/ |/|
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-251-4/+4
| * Allow existential types in hk typesMartin Odersky2015-10-241-11/+0
* | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-302-6/+6
|\ \
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-292-6/+6
| |/
* / Don't count suppressed errorsMartin Odersky2015-10-261-0/+9
|/
* Better handling of merge errorsMartin Odersky2015-10-221-0/+7
* Add well-formedness checking for created symbolsMartin Odersky2015-10-223-0/+74
* Fix tests to survive wellformedness checksMartin Odersky2015-10-223-3/+3
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-1/+7
|\
| * Check that some types are not higher-kinded.Martin Odersky2015-10-071-1/+7
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 19:32:47 +0000