aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
Commit message (Expand)AuthorAgeFilesLines
* Ensure that after erasure all types are erased.Martin Odersky2014-08-301-7/+3
* More targeted eta-liftingMartin Odersky2014-08-101-10/+13
* Fixed underlyingIfRepeated.Martin Odersky2014-08-031-0/+7
* Bring LambdaClass inline with its doc comment.Martin Odersky2014-06-261-4/+3
* Fixes to lambda abstractionMartin Odersky2014-06-191-5/+9
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-80/+142
* Add isLambda... testsMartin Odersky2014-06-121-0/+37
* Fix for type applications.Martin Odersky2014-05-081-14/+28
* Avoiding type applications after erasure.Martin Odersky2014-03-311-3/+8
* Reworked erasure denotation transformerMartin Odersky2014-03-291-17/+0
* Fix of t1279a: baseTypeWithArgsMartin Odersky2014-03-211-5/+25
* Fix of t1236: higher-kindedMartin Odersky2014-03-211-0/+2
* Allow And/OrTypes in baseType operationsMartin Odersky2014-03-201-6/+12
* Fix of #34Martin Odersky2014-03-031-14/+66
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-1/+1
* Reorganization of template parents.Martin Odersky2014-03-011-0/+4
* Reverted: Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-24/+10
* Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-10/+24
* Add text markers around "hot" tracing operations.Martin Odersky2014-01-261-2/+2
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-1/+1
* typeArgs should return TypeBounds for a wildcard type.Martin Odersky2014-01-031-1/+1
* safeUnderlyingTypeParams now forces uncompleted symbols.Martin Odersky2014-01-031-7/+5
* Fix bug in uninstantiatedTypeParamsMartin Odersky2013-12-251-1/+1
* Desugaring changesMartin Odersky2013-12-221-5/+8
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-141-2/+2
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-281-1/+2
* Dropping the Expanded when computing type parameter variances.Martin Odersky2013-11-251-2/+2
* Types refactoringsMartin Odersky2013-11-251-0/+302
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 07:11:48 +0000