aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala
Commit message (Collapse)AuthorAgeFilesLines
* Lazy entering of names with internal $'s in package scopesMartin Odersky2017-04-111-2/+2
| | | | | | | | | | | | | | | | Names with internal $'s are entered in package scopes only if - we look for a name with internal $'s. - we want to know all the members of a package scope This optimization seems to be fairly effective. The typical range of package scopes that need $-names is between 0 and 20%. The optimization seems to improve execution time of all unit tests by about 3%. Also. drop the inheritance from Iterable to Scope. The reason is that we now need a context parameter for toList and other Iterable operations which makes them impossible to fit into the Iterable framework.
* Make outer select names semanticMartin Odersky2017-04-111-1/+2
|
* Avoid duplicate hashCode/equalsMartin Odersky2017-04-111-1/+2
|
* Add default getter namesMartin Odersky2017-04-111-2/+2
| | | | Plus various bug fixes and filling in missing functionality
* Eliminate ParamTypeMartin Odersky2017-04-061-1/+1
| | | | Replace with ParamRef
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-1/+1
|
* Addresses review commentsAllan Renucci2017-04-041-3/+3
|
* Fixes @unchecked warningsAllan Renucci2017-04-031-1/+1
|
* Improve definition and doc comment for ensureNoLeaksMartin Odersky2017-03-121-1/+1
| | | | No more try-again business necessary.
* Fix #1990: Handle case where inlining changes class of outerMartin Odersky2017-02-181-1/+5
| | | | | | | | | | The new situation in the test was that outer of the inlined method was `A` but it's as seen from type is a subtype `B`. We need two fixes: - Ignore outerSelects in TreeChecker. These are treated as having fixed symbols. - Adapt the outer-path logic to deal with code that's moved to another context.
* Add checks for synthetic functions and erased functions.Nicolas Stucki2017-02-131-1/+1
| | | | | | | | * Add `isSyntheticFunction` checks for synthetic functions such as FuntionN for N > 22 and ImplicitFunctionN for N >= 0. * Add `erasedFunctionClass` to get the erased verion of synthetic functions. * Change the semantics of `isFunctionClass` to return true if it is any kind of FunctionN or ImplicitFunctionN.
* Merge pull request #1785 from dotty-staging/fix-#1784odersky2016-12-151-1/+1
|\ | | | | Fix #1784: allow to omit types for local implicit vals
| * Drop explicit types for local implicit valsMartin Odersky2016-12-121-1/+1
| | | | | | | | | | Drop explicit types for local implicit vals of type Context and Position. Exercises the functionality and shortens the code.
* | renable checking for TreeCheckerliu fengyun2016-11-241-1/+4
| |
* | don't recheck in -Ycheckliu fengyun2016-11-241-1/+1
|/
* Fix flags for default getters of constructorsGuillaume Martres2016-11-221-0/+8
| | | | This manifested itself as a pickling difference in tasty_tools
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+452