aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Allow hk parameters in lower boundsMartin Odersky2016-07-132-13/+0
* Make rewritings of hk applications configurableMartin Odersky2016-07-131-0/+2
* Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
* Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-111-0/+22
* Drop Config.checkKindsMartin Odersky2016-07-114-9/+7
* Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-111-1/+1
* Get rid of BindingKindMartin Odersky2016-07-111-4/+0
* Remove refinement encoding of hk typesMartin Odersky2016-07-113-18/+8
* Don't make * types higher-kinded in avoidMartin Odersky2016-07-111-2/+4
* Handle WildcardType in liftToClassesMartin Odersky2016-07-111-0/+1
* When comparing types revert eta-expansion as neededMartin Odersky2016-07-111-0/+8
* Allow for HK types in widenForMatchSelectorMartin Odersky2016-07-111-2/+4
* Refactor handling of unpickled type paramsMartin Odersky2016-07-112-28/+34
* Ensure wildApprox maintains kindsMartin Odersky2016-07-111-0/+5
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-113-3/+3
* Various hk related fixes in typesMartin Odersky2016-07-111-1/+0
* Start new, direct HK schemeMartin Odersky2016-07-112-9/+23
* Remove old hk schemeMartin Odersky2016-07-114-34/+3
* Various tweaksMartin Odersky2016-07-111-1/+1
* Change testsMartin Odersky2016-07-111-2/+2
* Avoid creating dependent function types for closuresMartin Odersky2016-07-111-1/+7
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-111-1/+1
* Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-111-5/+2
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-115-9/+29
* Avoid accidental creation of hk typesMartin Odersky2016-07-111-2/+3
* Adapt widenForMatchSelector to new HK schemeMartin Odersky2016-07-111-3/+9
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-111-1/+1
* Turn on new hk schemeMartin Odersky2016-07-111-1/+1
* Abstract type parameters out from type symbolsMartin Odersky2016-07-114-7/+7
* Introduce recursive typesMartin Odersky2016-07-114-7/+14
* New type lambda scheme for hk typesMartin Odersky2016-07-112-0/+19
* Allow general recursion in refined types.Martin Odersky2016-07-114-7/+7
* Add straightforward fix to #1308jvican2016-07-011-1/+1
* Merge pull request #1226 from dotty-staging/static-fixesDmitry Petrashko2016-06-221-1/+1
|\
| * Fix Ycheck: allow assigning fields in static constructors.Dmitry Petrashko2016-06-071-1/+1
* | Merge pull request #1309 from felixmulder/topic/fix#1307Dmitry Petrashko2016-06-221-0/+4
|\ \
| * | Move GADT check to `typeTyped`Felix Mulder2016-06-071-4/+5
| * | Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-1/+4
| |/
* / better handling of overloaded extractorsliu fengyun2016-06-201-2/+2
|/
* Overloading resolution: prefer directly applicable methodsGuillaume Martres2016-06-031-4/+10
* Don't compute implicit scopes for synthetic Lambda traitsGuillaume Martres2016-05-311-1/+4
* Avoid creating AndTypes with AnyGuillaume Martres2016-05-311-1/+1
* OfTypeImplicits: compute refs lazilyGuillaume Martres2016-05-311-1/+1
* Do not miss implicits in type parameters of parentsGuillaume Martres2016-05-311-1/+1
* Fix implicit scope caching bugGuillaume Martres2016-05-311-5/+6
* Document why we cannot cache all implicit scopesGuillaume Martres2016-05-311-1/+12
* Fix `A*` propagating outside matchesFelix Mulder2016-05-271-2/+7
* Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-272-2/+2
* Change typer to infer repeated param instead of Seq in `_*` casesFelix Mulder2016-05-271-1/+2
* Merge pull request #1270 from dotty-staging/fix-bootstrapDmitry Petrashko2016-05-271-1/+9
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 22:30:49 +0000