aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-071-0/+7
|\ \ | |/ |/|
| * Added neg testMartin Odersky2015-09-181-0/+7
* | Move test to posMartin Odersky2015-09-291-7/+0
* | Matching denotations should take infos into accountMartin Odersky2015-09-291-2/+2
* | Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-0/+11
|/
* Merge pull request #767 from dotty-staging/fix-#756-super-accessorsDmitry Petrashko2015-08-281-0/+8
|\
| * Add missing negative test.Martin Odersky2015-08-211-0/+8
* | Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-0/+2
* | Better error message for Null and 'sym singleton types.Martin Odersky2015-08-231-0/+4
* | Update neg testMartin Odersky2015-08-231-1/+0
* | Tests of functionality.Martin Odersky2015-08-231-0/+6
|/
* Merge pull request #719 from dotty-staging/fix/doubledefsDmitry Petrashko2015-07-201-0/+6
|\
| * Add test caseMartin Odersky2015-07-091-0/+6
* | Don't add lower bounds of abstract types to the implicit scopeGuillaume Martres2015-07-111-0/+14
* | Check that a self type T is closed.Martin Odersky2015-07-061-0/+4
* | Error instead of crash when sigName comes up with a missing reference.Martin Odersky2015-07-061-0/+37
|/
* Merge pull request #695 from dotty-staging/fix/source-positionsDmitry Petrashko2015-07-021-0/+4
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-11 05:33:26 +0000