aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Checking.scala
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #668 from lampepfl/fix/#650-self-typesodersky2015-06-221-2/+5
|\
| * Fix checking whether types are instantiable.Martin Odersky2015-06-191-2/+5
* | Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-191-3/+11
* | Tighten isStable predicateMartin Odersky2015-06-061-7/+0
|/
* Fix #597: Improve double def error messageGuillaume Martres2015-05-231-1/+1
* Correct a large number of typos.Jason Zaugg2015-05-141-1/+1
* rename isSourceMethod to isRealMethod, the previous name was inaccurateGuillaume Martres2015-05-091-1/+1
* Roll some of FirstTransform functionaility into PostTyperMartin Odersky2015-04-221-0/+17
* Tweaks relative to error reportingMartin Odersky2015-04-131-1/+1
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* #435 Fix conflict between package object and case class with same nameDmitry Petrashko2015-03-261-1/+2
* Avoid capturing context in lazy treesMartin Odersky2015-03-181-1/+1
* Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-20/+18
|\
| * Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-101-20/+18
* | Avoid spurious warnings about forward references in refinementsGuillaume Martres2014-12-161-2/+2
* | Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-1/+1
|/
* Cyclicity checking independent of positions.Martin Odersky2014-11-241-1/+5
* Updated refinement checking.Martin Odersky2014-11-241-0/+48
* checkBounds refactoringMartin Odersky2014-11-241-23/+6
* Fix to checkBoundsMartin Odersky2014-11-241-2/+2
* add comment explaining why checkValue skips Java compilation unitsOndrej Lhotak2014-11-221-0/+2
* Initial implementation of Java scanner and parserOndrej Lhotak2014-11-221-1/+1
* Detect cycles involving types bounded by singleton typesGuillaume Martres2014-11-061-0/+3
* Add inSuperCall mode and flag.Martin Odersky2014-09-041-1/+1
* Enabling primitive operations in ReTyperMartin Odersky2014-08-281-3/+3
* Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-271-1/+1
* Split Nullarify functionality to ElimByName, ErasureMartin Odersky2014-08-171-3/+4
* LazyRefs break cycles for unpickled typesMartin Odersky2014-08-081-21/+54
* Detect cycles and protected legal ones with LazyRefsMartin Odersky2014-08-081-14/+130
* Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-121-3/+3
* Tightening of rules for explicit types for implicit defsMartin Odersky2014-05-081-10/+0
* Flag self names that conflict with parameters or membersMartin Odersky2014-04-081-2/+9
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-021-12/+12
* move InfoString from ErrorReporting to Decorators andSamuel Gruetter2014-04-021-1/+1
* Erasure phase PoCMartin Odersky2014-03-291-23/+23
* Hygienic desugaringMartin Odersky2014-03-201-0/+1
* New scheme for TypeTrees that refer to othersMartin Odersky2014-03-201-1/+1
* Merge pull request #61 from odersky/fixes-t00xxodersky2014-03-121-2/+5
|\
| * Fix problems related to t0039Martin Odersky2014-03-101-2/+5
* | Fix of #50 - volatileMartin Odersky2014-03-091-4/+9
|/
* Main Typer reorg.Martin Odersky2014-03-071-1/+12
* Scond step to typer reorg: Introduce TypeAssigners.Martin Odersky2014-03-071-8/+19
* First step towards Typer Reorganization.Martin Odersky2014-03-071-0/+119
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 05:11:58 +0000