aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | Address reviewers commentsMartin Odersky2016-07-1111-49/+55
| * | | | | Fix SI-2712Martin Odersky2016-07-116-18/+84
| * | | | | Drop compareAliasedRefinedMartin Odersky2016-07-112-37/+4
| * | | | | Refactor Typevar instantiationMartin Odersky2016-07-112-43/+52
| * | | | | Add a case where caching was missing.Martin Odersky2016-07-112-3/+5
| * | | | | Do the right thing for NoDenotation.mapInfoMartin Odersky2016-07-111-0/+1
| * | | | | Unify aliases when taking a lub.Martin Odersky2016-07-111-2/+18
| * | | | | Less eager removal of type parameters from constraintMartin Odersky2016-07-113-24/+26
| * | | | | Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-113-5/+63
| * | | | | Fix bug in printing untyped New nodes.Martin Odersky2016-07-111-1/+5
| * | | | | Avoid orphan parameters in Constraint#replaceMartin Odersky2016-07-111-1/+1
| * | | | | Drop Config.checkKindsMartin Odersky2016-07-1113-107/+20
| * | | | | Refactorings of GenericTypes and underlying/upperboundMartin Odersky2016-07-119-146/+100
| * | | | | Revert complications in asMemberOfMartin Odersky2016-07-112-25/+4
| * | | | | Cleanup of Signature matchingMartin Odersky2016-07-114-14/+19
| * | | | | Simplify appliedToMartin Odersky2016-07-111-23/+9
| * | | | | Get rid of BindingKindMartin Odersky2016-07-115-65/+17
| * | | | | Handle signatures over uninstantiated type variablesMartin Odersky2016-07-115-12/+40
| * | | | | Remove refinement encoding of hk typesMartin Odersky2016-07-1117-653/+112
| * | | | | Fixes for printing under -Ytest-picklerMartin Odersky2016-07-112-2/+3
| * | | | | Fix parameter unpicklingMartin Odersky2016-07-111-10/+10
| * | | | | Drop assertion in TypeMapMartin Odersky2016-07-112-6/+6
| * | | | | Special case for TypeRefs in upperboundMartin Odersky2016-07-111-1/+6
| * | | | | Fixes to hk comparisonsMartin Odersky2016-07-111-14/+8
| * | | | | Don't dealias when applying typesMartin Odersky2016-07-111-4/+6
| * | | | | Don't make * types higher-kinded in avoidMartin Odersky2016-07-111-2/+4
| * | | | | Handle WildcardType in liftToClassesMartin Odersky2016-07-112-1/+2
| * | | | | Handle findMember for unreduced hk types.Martin Odersky2016-07-111-3/+22
| * | | | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 03:30:48 +0000