aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Avoid crasher when first token of a program is in errorMartin Odersky2015-06-251-0/+4
* | Check value class member restrictionsMartin Odersky2015-07-021-0/+7
* | Check that value classes are staticMartin Odersky2015-07-021-0/+15
* | Check final and sealed conditionsMartin Odersky2015-07-021-0/+4
|/
* Implement trait parametersMartin Odersky2015-06-191-0/+12
* Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-191-0/+16
* Add missing testMartin Odersky2015-06-191-0/+38
* Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-0/+27
* Tighten isStable predicateMartin Odersky2015-06-061-7/+0
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 13:56:53 +0000