aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* More testsMartin Odersky2014-03-219-0/+120
* Fix of t0591: implicitlyMartin Odersky2014-03-211-0/+7
* Fix of t0504: _root_ not foundMartin Odersky2014-03-211-0/+9
* Fix of t0438 - lambdas and eta expansionMartin Odersky2014-03-211-0/+12
* Tests t01xx and t02xxMartin Odersky2014-03-217-0/+89
* Minor improvements to tests (remove old comments)Tobias Schlatter2014-03-207-22/+7
* Hygienic desugaringMartin Odersky2014-03-2025-0/+256
* Appromiximate union types by intersections.Martin Odersky2014-03-201-0/+96
* Added auto-tupling.Martin Odersky2014-03-201-0/+9
* Re-enabled and renamed testsMartin Odersky2014-03-181-0/+0
* Refactored denotation transformersMartin Odersky2014-03-181-0/+6
* Merge pull request #69 from odersky/topic/generalize-companionsodersky2014-03-161-0/+28
|\
| * Bullet-proofing companion objectsMartin Odersky2014-03-131-0/+28
* | Merge pull request #70 from odersky/fix/annotations-in-patternsodersky2014-03-141-3/+9
|\ \
| * | Fixed two problems with annotated types in patternsMartin Odersky2014-03-141-3/+9
| |/
* / Added test for implicits which fail in Scala 2.11.Martin Odersky2014-03-121-2/+10
|/
* Fix constructor completion problem detected in t0054Martin Odersky2014-03-121-0/+4
* Fix for t1002Martin Odersky2014-03-101-0/+6
* Improve test infrastructureMartin Odersky2014-03-101-264/+0
* Removed useless ValDef flagged by @samuelgruetter in previous pull requestMartin Odersky2014-03-071-0/+18
* Fix of #39Martin Odersky2014-03-041-0/+17
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-0/+21
* Check that inferred parent classes are feasible.Martin Odersky2014-03-011-5/+14
* Reorganization of template parents.Martin Odersky2014-03-011-0/+12
* Discard inaccessible denotations when merging.Martin Odersky2014-02-241-5/+3
* Generalize test infrastructureMartin Odersky2014-02-071-1/+0
* Fix bug for reading type arguments in ClassfileParserMartin Odersky2014-02-061-7/+4
* Commenting out unused alternative isSubType implementation.Martin Odersky2014-02-031-5/+9
* Fix problems with TypeVar instantiationMartin Odersky2014-02-031-0/+3
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-021-1/+1
* Fixes to constraint handling.Martin Odersky2014-01-262-1429/+225
* Make better use of AndOrTypes.Martin Odersky2014-01-201-26/+1452
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-191-4/+12
* Refinement of fully-defined accumulator.Martin Odersky2014-01-192-167/+24
* Fix to computation of implicit scopesMartin Odersky2014-01-181-111/+148
* Fix isWildcardStarArg test so that it works also for typed trees.Martin Odersky2014-01-181-0/+6
* More tests.Martin Odersky2014-01-181-0/+6
* Refine avoiding local refs in block's type.Martin Odersky2014-01-181-494/+102
* Tweak to typing of function values.Martin Odersky2014-01-151-7/+14
* Fix typing of unapplySeq extractor arguments.Martin Odersky2014-01-151-1/+12
* Making some traces conditional on printers being enabled.Martin Odersky2014-01-131-0/+6
* Better reporting of cyclic references involving imports.Martin Odersky2014-01-111-262/+452
* Add a constructor to class Any, so that it can be inherited.Martin Odersky2014-01-101-0/+337
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-0/+5
* Fix to overloading resolution: prioritize non-methods over methods.Martin Odersky2014-01-061-1/+3
* Generalize overloading resolution to type arguments.Martin Odersky2014-01-041-1/+4
* Constraints need to be ignored when forming lubs and glbs of constrained oara...Martin Odersky2014-01-011-1/+7
* Adding a prototype of the right-hand side of default-getters.Martin Odersky2013-12-311-3/+12
* Upgrades to handle subtyping between parameterized and higher-kinded types.Martin Odersky2013-12-311-0/+35
* New version of eta-expansion.Martin Odersky2013-12-281-0/+4