aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Beta-reduce with wildcard arguments if this is safe.Martin Odersky2016-07-112-9/+45
* When comparing types revert eta-expansion as neededMartin Odersky2016-07-113-14/+53
* Skip typeBounds when computing upperBoundMartin Odersky2016-07-111-1/+1
* Drop bounds checking for type lambdasMartin Odersky2016-07-111-5/+13
* Allow for HK types in widenForMatchSelectorMartin Odersky2016-07-111-2/+4
* Refactor handling of unpickled type paramsMartin Odersky2016-07-117-64/+103
* Avoid cyclic errors when reading nsc.GlobalMartin Odersky2016-07-111-0/+7
* Handle TypeLambdas in findMemberMartin Odersky2016-07-112-10/+7
* Ensure wildApprox maintains kindsMartin Odersky2016-07-111-0/+5
* Change underlying of HKApplyMartin Odersky2016-07-111-2/+10
* Tweaks to appliedToMartin Odersky2016-07-111-4/+11
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-1116-102/+124
* Various hk related fixes in typesMartin Odersky2016-07-113-45/+73
* Fix printing of type lambda trees and typesMartin Odersky2016-07-112-3/+5
* Fix appliedTo and typeParams, and higher kinded subtyping testsMartin Odersky2016-07-113-65/+196
* Make Constraint#bounds work for aliasesMartin Odersky2016-07-111-3/+3
* Start new, direct HK schemeMartin Odersky2016-07-1118-186/+478
* Remove old hk schemeMartin Odersky2016-07-1123-688/+104
* Various tweaksMartin Odersky2016-07-114-69/+86
* Deal with nested findMember calls over the same RecTypeMartin Odersky2016-07-111-5/+43
* Change testsMartin Odersky2016-07-114-3/+22
* Avoid creating dependent function types for closuresMartin Odersky2016-07-111-1/+7
* Make TypeAccumulators follow LazyRefsMartin Odersky2016-07-112-0/+7
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-113-9/+9
* Avoid infinite recursion when comparing recursive types.Martin Odersky2016-07-113-8/+5
* Optionally, check kinds match for & and |Martin Odersky2016-07-113-1/+38
* Restrict betaReduce to hk applicationsMartin Odersky2016-07-112-2/+12
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-116-13/+36
* Avoid accidental creation of hk typesMartin Odersky2016-07-115-9/+15
* Fix typeParams for abstract types under completionMartin Odersky2016-07-111-10/+11
* Adapt widenForMatchSelector to new HK schemeMartin Odersky2016-07-111-3/+9
* Add a second betaReduceMartin Odersky2016-07-115-14/+49
* Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-111-7/+29
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-115-67/+97
* Don't map info of SkolemTypes in type mapsMartin Odersky2016-07-111-6/+1
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-112-4/+10
* Refinement of cycle avoidanceMartin Odersky2016-07-112-3/+27
* Beta-reduce when simplifyingMartin Odersky2016-07-111-1/+2
* Multiple fixesMartin Odersky2016-07-114-47/+109
* Turn on new hk schemeMartin Odersky2016-07-1115-169/+404
* Remove special case in parserMartin Odersky2016-07-111-10/+3
* Add printing of type lambda treesMartin Odersky2016-07-113-6/+14
* Disable checkInst in RecTypeMartin Odersky2016-07-111-9/+8
* Abstract type parameters out from type symbolsMartin Odersky2016-07-1110-43/+110
* Introduce recursive typesMartin Odersky2016-07-1116-37/+292
* New type lambda scheme for hk typesMartin Odersky2016-07-117-3/+85
* Better printing of skolemsMartin Odersky2016-07-112-2/+8
* Allow general recursion in refined types.Martin Odersky2016-07-1113-41/+59
* Allow refinements of new typesMartin Odersky2016-07-115-18/+50
* Merge pull request #1371 from dotty-staging/fix-#1366Nicolas Stucki2016-07-111-4/+11
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 18:26:15 +0000