aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/Checking.scala
Commit message (Expand)AuthorAgeFilesLines
* Eliminate LambdaAbstractMartin Odersky2017-04-061-1/+1
* Further refactoringsMartin Odersky2017-04-061-4/+4
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-1/+1
* Break out functionality from MethodTypeMartin Odersky2017-04-061-2/+2
* Merge pull request #2190 from dotty-staging/fix-robust-avoidanceGuillaume Martres2017-04-041-2/+8
|\
| * Make leak avoidance more robustMartin Odersky2017-04-041-2/+8
* | checkNoPrivateLeaks: Do not allow types to refer to leaky aliasesGuillaume Martres2017-04-041-6/+17
|/
* Check there are no forward dependencies to method parametersMartin Odersky2017-03-141-1/+19
* Fix compilation of ParSetLike by itselfGuillaume Martres2017-03-131-3/+3
* Allow abstract type members in objects.Nicolas Stucki2017-03-011-1/+1
* Change 'is abstract; cannot be instantiated' to MessageEnno Runne2017-02-201-1/+2
* checkNoPrivateLeaks: Use correct position for errorsGuillaume Martres2017-02-171-5/+4
* Narrow Java exception to inheritance ruleMartin Odersky2017-02-081-3/+5
* Refine checkTraitInheritance conditionMartin Odersky2017-02-081-3/+16
* Fix #1501 - Check trait inheritance conditionMartin Odersky2017-02-081-1/+11
* Merge pull request #1925 from dotty-staging/fix/inner-vcodersky2017-02-021-0/+2
|\
| * Fix #1644: Disallow inner classes in value classesGuillaume Martres2017-02-011-0/+2
* | Fix #1750: Handle illegal class overrides betterMartin Odersky2017-01-291-0/+5
|/
* Make errors are not swept under the carpetMartin Odersky2016-12-171-3/+2
* Merge pull request #1682 from dotty-staging/vclassodersky2016-12-151-3/+46
|\
| * don't recheck in -Ycheckliu fengyun2016-11-241-3/+46
* | Fix #1786: support use package object in fun callliu fengyun2016-12-131-1/+1
|/
* checkNoPrivateLeaks: handle defs in local classesGuillaume Martres2016-11-221-1/+1
* checkNoPrivateLeaks: handle references to companion membersGuillaume Martres2016-11-221-2/+16
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+557