aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
* 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
* Pos tests t17xx - t19xxMartin Odersky2014-05-201-0/+25
* Fixing tailrec test.Martin Odersky2014-05-081-1/+1
* TailRec phase and tests for it.Dmitry Petrashko2014-04-1112-0/+233
* Flag self names that conflict with parameters or membersMartin Odersky2014-04-081-23/+39
* Fleshed out Splitter phaseMartin Odersky2014-04-082-0/+17
* Reverting decision what constitutes a double def.Martin Odersky2014-03-211-0/+7
* Fix for t1292 - legal prefixesMartin Odersky2014-03-211-0/+35
* More testsMartin Odersky2014-03-211-0/+5
* Added auto-tupling.Martin Odersky2014-03-201-0/+11
* Bullet-proofing companion objectsMartin Odersky2014-03-131-0/+16
* Fix of #50 - volatileMartin Odersky2014-03-091-0/+25
* Fix of #39Martin Odersky2014-03-041-0/+19
* Typos corrected.Dmitry Petrashko2014-03-031-1/+1
* Check that inferred parent classes are feasible.Martin Odersky2014-03-011-0/+7
* Reorganization of template parents.Martin Odersky2014-03-012-0/+20
* Improve eligible caching in implicit search.Martin Odersky2014-02-021-0/+11
* Avoid accessing implicits that come from root imports that are hidden by some...Martin Odersky2014-02-021-1/+1
* Fix checking for disabled root importsMartin Odersky2014-02-021-0/+11
* Better handling of cyclic reference errors.Martin Odersky2013-12-161-0/+10
* Negative typer tests.Martin Odersky2013-12-161-0/+41
* Fixes to typer.Martin Odersky2013-12-111-0/+23