aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | 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-1111-3/+23
| * | | | | 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-1111-39/+58
| * | | | | 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-116-15/+50
| * | | | | Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-112-27/+50
| * | | | | 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-1118-39/+296
| * | | | | New type lambda scheme for hk typesMartin Odersky2016-07-118-4/+86
| * | | | | 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 #1360 from dotty-staging/junit-discard-outputDmitry Petrashko2016-07-151-5/+20
|\ \ \ \ \ \
| * | | | | | Fix #1336: Discard reporter output for tests that succeed.Nicolas Stucki2016-07-071-5/+20
| | |_|/ / / | |/| | | |
* | | | | | Merge pull request #1368 from dotty-staging/skip-redundant-superclassesDmitry Petrashko2016-07-156-5/+97
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| * | | | | Fix #1209: Skip redundant superclasses\supertraits.Nicolas Stucki2016-07-136-5/+97
* | | | | | Merge pull request #1391 from dotty-staging/fix-#1387Guillaume Martres2016-07-142-1/+7
|\ \ \ \ \ \
| * | | | | | Fix erasure of Java Array[T]Martin Odersky2016-07-142-1/+7
| |/ / / / /
* | | | | | Merge pull request #1390 from felixmulder/topic/fix#1352Dmitry Petrashko2016-07-142-2/+17
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Correct typo in IsInstanceOfEvalautor, fixes #1352Felix Mulder2016-07-142-2/+17
|/ / / / /
* | | | | Merge pull request #1383 from kcsongor/masterFelix Mulder2016-07-121-4/+9
|\ \ \ \ \ | |_|/ / / |/| | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-20 01:03:29 +0000