aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Namer.scala
Commit message (Expand)AuthorAgeFilesLines
* Remove old hk schemeMartin Odersky2016-07-111-24/+1
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-111-1/+1
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-3/+5
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-111-1/+1
* Abstract type parameters out from type symbolsMartin Odersky2016-07-111-1/+1
* Merge pull request #1270 from dotty-staging/fix-bootstrapDmitry Petrashko2016-05-271-1/+9
|\
| * Replace aliases to Unit by UnitMartin Odersky2016-05-231-1/+9
* | Add class annotations as first step of completing the class.Martin Odersky2016-05-131-1/+2
* | Evaluate annotations before completing tree of definitionsMartin Odersky2016-05-101-1/+1
|/
* Add binding between Symbol and Untyped tree in base contextFelix Mulder2016-04-071-3/+13
* Check that classOf gets applied to class typesMartin Odersky2016-02-201-1/+2
* Check named type params for welformedness rules.Martin Odersky2016-02-191-4/+52
* Support for extending the TyperJonathan Rodriguez2016-02-161-1/+1
* Avoid caching the wrong bounds in TypeRefsMartin Odersky2016-01-181-1/+16
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-5/+24
* Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+6
* Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-141-4/+34
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-131-1/+1
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-1/+0
* More uses of adaptIfHKMartin Odersky2015-12-061-16/+14
* Drop argumnt interpolation.Martin Odersky2015-11-301-1/+1
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-091-1/+1
* Check for cyclic inheritance.Martin Odersky2015-10-221-1/+8
* Adapt sourceModule to new selfInfo scheme.Martin Odersky2015-10-221-1/+1
* Fix #831Martin Odersky2015-10-221-17/+24
* Add well-formedness checking for created symbolsMartin Odersky2015-10-221-2/+18
* Move Inferencing out of the Typer cakeGuillaume Martres2015-10-091-0/+1
* Replace isLambda with ifHKMartin Odersky2015-09-181-1/+1
* Don't lambda abstract derived typesMartin Odersky2015-09-181-1/+1
* Drop parameterizeWithMartin Odersky2015-09-181-4/+4
* Add comment.Martin Odersky2015-09-181-1/+4
* Fix argument eta expansionMartin Odersky2015-09-181-4/+1
* Turn assertion into a test in etaExpandArgs.Martin Odersky2015-09-181-13/+15
* Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-181-1/+25
* Clean up of logic in typeDefSigMartin Odersky2015-09-181-3/+3
* Constant final vals need to have right hand type.Martin Odersky2015-09-141-6/+7
* Make final vals have constant types if rhs is a constant.Martin Odersky2015-08-231-3/+11
* Avoid generating dupliocate namesMartin Odersky2015-07-091-11/+14
* Make value classes implicitly finalMartin Odersky2015-07-021-0/+2
* Avoid double context creation when modes change on a fresh context.Martin Odersky2015-06-221-1/+1
* Evaluate annotations in NamerMartin Odersky2015-06-191-1/+25
* Merge pull request #663 from dotty-staging/fix/#643-scala2-noinitsDmitry Petrashko2015-06-191-1/+2
|\
| * Use FlagSet directly instead of defKindMartin Odersky2015-06-161-2/+2
| * Produce PureInterface flag together with NoInits flagMartin Odersky2015-06-161-1/+2
* | Deskolemize types inferred for vals and defsMartin Odersky2015-06-061-1/+2
|/
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-12/+12
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* Remove code duplication between Namer, ClassfileParser and UnPicklerDmitry Petrashko2015-03-261-12/+4
* #435 Fix conflict between package object and case class with same nameDmitry Petrashko2015-03-261-1/+1
* Add companion link symbols early only if companion actually existsDmitry Petrashko2015-03-261-5/+45
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 14:31:22 +0000