aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
* New miniphase: ExpandSAMsMartin Odersky2015-05-021-7/+0
* Fix #492. Traits that require an outer pointer are not SAMs.Dmitry Petrashko2015-04-231-0/+7
* Added phase to check `New` nodes for instantiability.Martin Odersky2015-04-131-0/+38
* Self type inheritance checkMartin Odersky2015-04-131-0/+28
* Add spaces around + in tests.Dmitry Petrashko2015-04-092-3/+3
* Remove trailing spaces in Dotty tests.Dmitry Petrashko2015-04-094-13/+13
* Replace tabs with 4 spaces in Dotty tests.Dmitry Petrashko2015-04-091-9/+9
* Make all dotty tests end in newlineDmitry Petrashko2015-04-094-4/+4
* Disallow refinements of types or methods that do not appear in parent.Martin Odersky2015-03-185-25/+70
* Prevent block types with references to local symbolsGuillaume Martres2015-02-111-0/+10
* More negative override testsMartin Odersky2015-02-071-0/+14
* New spec and implementation for matching.Martin Odersky2015-02-071-0/+8
* Fix of #329.Martin Odersky2015-02-071-0/+7
* Test reorgMartin Odersky2015-02-071-0/+21
* New test: moduleSubtypingMartin Odersky2015-01-141-0/+23
* Merge pull request #279 from dotty-staging/test/#91odersky2014-12-131-0/+16
|\
| * Two new testsMartin Odersky2014-12-131-0/+16
* | Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-131-0/+6
|/
* Fixed testMartin Odersky2014-12-131-1/+1
* One more test case, coming from #214.Martin Odersky2014-12-131-0/+1
* Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-0/+9
* Allow refinements that refine already refined types.Martin Odersky2014-11-261-0/+23
* Fixed cycle detection.Martin Odersky2014-11-241-0/+13
* Added and corrected testsMartin Odersky2014-11-242-1/+5
* Fixes in TypeComparer for RefinedTypes.Martin Odersky2014-11-243-46/+14
* Add tests for the overriding of typesGuillaume Martres2014-11-181-0/+11
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-182-0/+80
|\
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-181-0/+11
| * Fix OverridingPairsMartin Odersky2014-11-142-0/+69
* | Moved pending tests that work into pos and neg.Martin Odersky2014-11-171-0/+26
|/
* Detect cycles involving types bounded by singleton typesGuillaume Martres2014-11-061-0/+25
* Merge pull request #180 from smarter/fix/nosymbol-subtypingodersky2014-11-061-4/+5
|\
| * Fix subtyping of types without symbolsGuillaume Martres2014-10-091-1/+5
| * Simplify subtying testGuillaume Martres2014-10-091-4/+1
* | Avoid hoisting local classesMartin Odersky2014-10-261-0/+9
* | Fix handling of type params in secondary constructorsMartin Odersky2014-10-111-0/+47
* | Merge pull request #174 from dotty-staging/rebDmitry Petrashko2014-10-117-0/+115
|\ \ | |/ |/|
| * Fix problem in unapply typing.Martin Odersky2014-09-231-0/+21
| * Disabling patmat tests failing due to typer.Dmitry Petrashko2014-09-231-0/+29
| * Fixes to erasure to make -Ycheck:all work.Martin Odersky2014-08-281-0/+7
| * Special context for self constructor argsMartin Odersky2014-08-242-0/+15
| * Re-enabled checkbounds testsMartin Odersky2014-08-081-0/+39
| * Detect cycles and protected legal ones with LazyRefsMartin Odersky2014-08-081-0/+4
* | Fix isSubType(A#X, B#X) not checking if A <: BGuillaume Martres2014-10-051-0/+13
|/
* Enabled variance checkingMartin Odersky2014-08-032-0/+69
* fix/148Martin Odersky2014-07-201-0/+44
* Handling higher-kinded types with lambdasMartin Odersky2014-06-182-2/+3
* Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-121-0/+7
* Reclassifying testsMartin Odersky2014-05-301-0/+35
* Avoid hoisting of local classes out of method bodies.Martin Odersky2014-05-201-2/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 14:37:06 +0000