aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/transform/TreeChecker.scala
Commit message (Expand)AuthorAgeFilesLines
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-2/+2
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* Remove check for duplicates in module val names.Dmitry Petrashko2015-03-231-4/+0
* Fix Ycheck printing a lot of error about symbols that don't actually exist.Dmitry Petrashko2015-03-191-1/+1
* Avoid escaping pattern bound variablesMartin Odersky2015-03-181-2/+2
* Tightening of orphans tests.Martin Odersky2015-03-181-0/+2
* YCheck now checks symbols for validity.Dmitry Petrashko2015-03-171-1/+38
* Make TreeChecker a phaseDmitry Petrashko2015-02-191-1/+8
* Added test to TreeChecker that guards against orphan parameters.Martin Odersky2015-02-111-0/+19
* Replace Throwable catches with NonFatalMartin Odersky2014-12-151-1/+2
* Fixed narrowLiftedOwner in LambdaLiftMartin Odersky2014-12-121-0/+7
* Show full name of doubly defined symbolsDmitry Petrashko2014-11-221-2/+2
* Allow checking that trees and their defined symbols have modifiers in sync.Dmitry Petrashko2014-11-221-2/+13
* #204 check for global uniqueness of definitions.Dmitry Petrashko2014-11-221-10/+19
* Drop modifiers as separate data from MemberDef treesMartin Odersky2014-11-101-1/+1
* New miniphase: FlattenMartin Odersky2014-11-091-1/+1
* Merge commits '474b2ae' and '46eb5ea' from #201 into umasterDmitry Petrashko2014-11-031-1/+1
|\
| * Fix treatment of by name functionsMartin Odersky2014-10-271-1/+1
* | Print whole TreeTransform name in Ycheck and XprintDmitry Petrashko2014-10-301-1/+3
|/
* Better tests and bugfix for named argsMartin Odersky2014-10-261-8/+18
* Enabled commented out testsMartin Odersky2014-10-261-2/+2
* Add missing and double symbol checking to TreeCheckerMartin Odersky2014-10-261-1/+45
* More assertions in TreeChecker.Martin Odersky2014-10-261-5/+7
* Adaptations to make pattern matcher in new worldMartin Odersky2014-10-121-2/+2
* Don't adapt to FunProto in TreeChecker.Martin Odersky2014-10-121-1/+2
* Fix tree typing to account for trees after constructors is run.Martin Odersky2014-10-121-0/+3
* After-rebase fix: weaken owner-chain restriction.Dmitry Petrashko2014-10-111-1/+1
* Fix tree typing to account for trees after constructors is run.Martin Odersky2014-10-111-5/+5
* Make changeOwner more robust regarding non-standard owner chainsMartin Odersky2014-10-111-6/+9
* More accurate or postcondition conchecking in TreeCheckerMartin Odersky2014-09-241-1/+13
* Patmat now succeeds tests.Dmitry Petrashko2014-09-231-2/+6
* Allow skipping Label's in owner chainsDmitry Petrashko2014-09-171-2/+3
* Fixes to TreeCheckerMartin Odersky2014-09-101-3/+3
* Generalize phase postcondition checking.Martin Odersky2014-09-061-33/+6
* Better tests and more fixes for ExplicitOuterMartin Odersky2014-09-061-1/+9
* Move crash diagnostics from TreeChecker to ReTyper.Martin Odersky2014-09-041-5/+1
* Moving an assertion from erasure to TreeChecker.Martin Odersky2014-08-301-0/+12
* Ensure that after erasure all types are erased.Martin Odersky2014-08-301-1/+13
* Better error diadnostics in TreeChecker.Martin Odersky2014-08-281-1/+5
* ref(<type>) -> TypeTreeMartin Odersky2014-08-251-1/+1
* Check that idents don't assume magic.Martin Odersky2014-08-241-4/+12
* renaming: core.transform.Erasure -> core.TypeErasureMartin Odersky2014-08-241-1/+0
* Extend owner checking in TreeCheckerMartin Odersky2014-08-181-7/+17
* Disabling adapt in TreeCheckerMartin Odersky2014-08-171-0/+5
* Moved -Ycheck after SplitterMartin Odersky2014-08-161-11/+6
* More explanations for -Ycheck failures.Martin Odersky2014-06-131-2/+8
* Adding descriptive message to no-implicits-after-typer assertion.Martin Odersky2014-05-081-1/+1
* Adding a check that owner chains are correct for -YcheckMartin Odersky2014-05-081-0/+19
* Refining TreeChecker to work immediately after typer.Martin Odersky2014-05-081-21/+36
* TreeCheckers use re-typing...Martin Odersky2014-04-081-6/+31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 05:44:44 +0000