aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/typers.scala
Commit message (Expand)AuthorAgeFilesLines
* Disallow refinements of types or methods that do not appear in parent.Martin Odersky2015-03-181-0/+1
* Fix and enable RefChecksMartin Odersky2014-08-131-1/+1
* Enabled variance checkingMartin Odersky2014-08-031-1/+1
* TailRec phase and tests for it.Dmitry Petrashko2014-04-111-1/+1
* Flag self names that conflict with parameters or membersMartin Odersky2014-04-081-41/+43
* 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
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-0/+5
* 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
* New version of eta-expansion.Martin Odersky2013-12-281-0/+4
* Making the name of self visible inside a class.Martin Odersky2013-12-251-0/+17
* Fixing problems in treatment of private symbolsMartin Odersky2013-12-241-0/+15
* Fixes to desugaring and indexing package objectsMartin Odersky2013-12-171-0/+4
* Small tweaks to typerMartin Odersky2013-12-161-4/+7
* Better handling of cyclic reference errors.Martin Odersky2013-12-161-0/+8
* Checking for double definitions among class definitions.Martin Odersky2013-12-161-1/+1
* Fix to desugaring refinement types.Martin Odersky2013-12-161-1/+32
* Fixes to avoid stale symbols and to avoid methods as pattern constructors.Martin Odersky2013-12-091-0/+21