aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Make foreach/exsists into tree infix methodsMartin Odersky2014-09-061-2/+2
* Move crash diagnostics from TreeChecker to ReTyper.Martin Odersky2014-09-041-0/+8
* Add inSuperCall mode and flag.Martin Odersky2014-09-044-8/+15
* Completed outer paths.Martin Odersky2014-09-011-1/+1
* Allow more leniency in time travel.Martin Odersky2014-09-011-0/+12
* Types of This trees are promoted during retyping.Martin Odersky2014-08-312-1/+4
* Moving an assertion from erasure to TreeChecker.Martin Odersky2014-08-302-2/+2
* Ensure that after erasure all types are erased.Martin Odersky2014-08-301-1/+1
* Fixes to erasure to make -Ycheck:all work.Martin Odersky2014-08-281-3/+16
* Enabling primitive operations in ReTyperMartin Odersky2014-08-283-7/+17
* Disable enclding in retyping.Martin Odersky2014-08-282-2/+6
* Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-272-2/+2
* thisType of a module class is a term ref to the source module.Martin Odersky2014-08-261-1/+1
* ref(<type>) -> TypeTreeMartin Odersky2014-08-251-3/+5
* Special context for self constructor argsMartin Odersky2014-08-242-4/+5
* Override symbolOfType in ReTyper.Martin Odersky2014-08-241-0/+1
* Check that idents don't assume magic.Martin Odersky2014-08-244-4/+12
* Account for package objects when constructing types of idents.Martin Odersky2014-08-241-3/+27
* Fix context for super callsMartin Odersky2014-08-243-13/+5
* Make type creators work for erased types.Martin Odersky2014-08-243-3/+3
* Make-not privateMartin Odersky2014-08-191-8/+49
* Rename in Phase: name -> phaseNameMartin Odersky2014-08-182-2/+2
* Refactored TreeTypeMapMartin Odersky2014-08-182-4/+1
* Fixed re-tpying of Return nodes.Martin Odersky2014-08-181-14/+17
* Make local dummy a non-member type.Martin Odersky2014-08-181-2/+2
* Split Nullarify functionality to ElimByName, ErasureMartin Odersky2014-08-171-3/+4
* Disabling adapt in TreeCheckerMartin Odersky2014-08-172-14/+17
* Restrict treee copiers with default arguments to trees with more than 2 eleme...Martin Odersky2014-08-131-3/+3
* Switched to new cpy scheme.Martin Odersky2014-08-132-6/+5
* Changes to tree copyingMartin Odersky2014-08-135-65/+65
* Fix and enable RefChecksMartin Odersky2014-08-131-10/+25
* Fix a problem due to different type inferenceMartin Odersky2014-08-121-2/+6
* Sperate matchingDecl and mathingMember.Martin Odersky2014-08-111-10/+10
* More targeted eta-liftingMartin Odersky2014-08-101-1/+2
* Disentangle phases from treetransformsMartin Odersky2014-08-091-69/+73
* Initial version of RefChecksMartin Odersky2014-08-091-0/+1383
* Re-enabled checkbounds testsMartin Odersky2014-08-081-4/+3
* LazyRefs break cycles for unpickled typesMartin Odersky2014-08-083-22/+56
* Detect cycles and protected legal ones with LazyRefsMartin Odersky2014-08-083-22/+142
* Code to handle overloaded unapply/unapplySeq methodsMartin Odersky2014-08-032-12/+26
* Added elimLocals miniphaseMartin Odersky2014-08-032-1/+6
* Updated commentMartin Odersky2014-08-031-2/+4
* Enabled variance checkingMartin Odersky2014-08-033-38/+57
* Removed CheckTreesMartin Odersky2014-08-032-3/+25
* Initial versions of Variances and CheckVariancesMartin Odersky2014-08-032-0/+223
* Added utility method: underlyingSymbolMartin Odersky2014-08-031-1/+8
* Fixed problem with missing denotations in polyDefDefMartin Odersky2014-07-171-2/+1
* Fixes to ReTyperMartin Odersky2014-07-172-9/+21
* Avoid forming SeqLiterals with singleton type element.Martin Odersky2014-07-171-1/+1
* Revised purity tests in TreeInfoMartin Odersky2014-07-171-2/+2