aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/transform/TreeChecker.scala
Commit message (Expand)AuthorAgeFilesLines
...
* #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
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-021-0/+1
* Add -Ycheck capabilityMartin Odersky2014-03-311-0/+37
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 12:14:43 +0000