aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeApplications.scala
Commit message (Expand)AuthorAgeFilesLines
* Allow byname repated parametersMartin Odersky2015-04-241-6/+11
* New method on types: givenSelfTypeMartin Odersky2015-04-131-4/+2
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-4/+4
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* Homogenize #Apply projections.Martin Odersky2015-04-071-0/+11
* More fixes to picklingMartin Odersky2015-03-181-3/+3
* Fix to testLiftedMartin Odersky2015-02-111-2/+2
* Tweaks to matchesMartin Odersky2015-02-071-1/+1
* Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-311-6/+28
|\
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-4/+4
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-19/+20
| * Removed some checksMartin Odersky2015-01-101-1/+1
| * More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-091-0/+25
| * Make findMember depend on RefinedThis level.Martin Odersky2015-01-031-8/+4
| * Provide the correct levels for RefinedThis types.Martin Odersky2015-01-011-2/+2
* | More careful usage of unforced decls in classes.Martin Odersky2014-12-181-1/+1
|/
* Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-171-3/+3
|\
| * Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-101-3/+3
* | Better typing of seqLiteral in erasure.Martin Odersky2014-12-051-2/+5
|/
* Better printing of variant types with wildcard arguments.Martin Odersky2014-11-241-5/+19
* desugar Java repeated parms into an Array instead of SeqOndrej Lhotak2014-11-221-5/+5
* Fix underlyingIfRepeated always assuming Scala repeated.Dmitry Petrashko2014-11-221-2/+5
* 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-28 06:21:42 +0000