aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* add pos_companions to the suiteSarunas Valaskevicius2015-09-251-0/+1
* remove unused codeSarunas Valaskevicius2015-09-251-7/+0
* Merge pull request #802 from dotty-staging/change-hk-1odersky2015-09-2524-239/+1102
|\
| * Fixes to comments suggested by reviewerMartin Odersky2015-09-212-10/+10
| * Eta expand $apply projected types if neededMartin Odersky2015-09-217-16/+677
| * Move failing test to pending.Martin Odersky2015-09-181-3/+3
| * Avoid orphan RefinedThis types in glb/lub.Martin Odersky2015-09-182-3/+3
| * Keep track of parameter bounds in LambdaAbstract and EtaReduceMartin Odersky2015-09-181-11/+66
| * Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-184-2/+74
| * Generalize eta reduction to partially applied types.Martin Odersky2015-09-182-2/+13
| * Fix problem in typeParamsMartin Odersky2015-09-182-13/+8
| * Rewrite compareHK to be kind-correctMartin Odersky2015-09-182-9/+13
| * Replace isLambda with ifHKMartin Odersky2015-09-185-52/+21
| * Remove magic from derivedRefinedType.Martin Odersky2015-09-181-17/+3
| * Rename of hk args HK$x -> hk$xMartin Odersky2015-09-185-82/+27
| * Simplify EtaReduceMartin Odersky2015-09-181-4/+1
| * Rename Apply -> hkApplyMartin Odersky2015-09-189-22/+27
| * Add missing position to errorMartin Odersky2015-09-181-1/+1
| * Adapt type arguments in typedAppliedTypeTreeMartin Odersky2015-09-181-11/+13
| * Better error reporting in TreePicklerMartin Odersky2015-09-181-1/+3
| * Project all high-kinded types with #ApplyMartin Odersky2015-09-182-4/+13
| * Try to eta reduce type applications.Martin Odersky2015-09-181-1/+3
| * Follow alias types when computing type params.Martin Odersky2015-09-181-2/+3
| * Temporary fix to testLiftedMartin Odersky2015-09-181-3/+9
| * Don't lambda abstract derived typesMartin Odersky2015-09-181-1/+1
| * Avoid cycles when eliminating existentials in unpicklingMartin Odersky2015-09-181-4/+23
| * Use EtaExpand instead of LambdaAbstract when unpickling typerefsMartin Odersky2015-09-181-5/+1
| * Allow to use safe substitution in LambdaAbstractMartin Odersky2015-09-184-4/+39
| * Drop parameterizeWithMartin Odersky2015-09-182-6/+6
| * A non-class typeref has type parameters only if subtype of a lambda class.Martin Odersky2015-09-181-2/+5
| * Lambda abstract all TypeRefs when unpickling.Martin Odersky2015-09-181-0/+5
| * Always lambda abstract TempPolyTypes representing types.Martin Odersky2015-09-181-12/+3
| * Don't eta expand in appliedToMartin Odersky2015-09-181-1/+1
| * Add a test that logs the classpath to pinpoint setup failures.Martin Odersky2015-09-181-0/+2
| * Add comment.Martin Odersky2015-09-181-1/+4
| * Add EtaReduce method.Martin Odersky2015-09-181-0/+33
| * Avoid generating companion-methods for non-class types.Martin Odersky2015-09-181-3/+5
| * Adapt arguments in all type applicationsMartin Odersky2015-09-182-8/+8
| * Strenghten condition in EtaExpandIfLambdaMartin Odersky2015-09-181-1/+3
| * Fix argument eta expansionMartin Odersky2015-09-182-4/+4
| * Turn assertion into a test in etaExpandArgs.Martin Odersky2015-09-181-13/+15
| * Black hole detection for LazyRefsMartin Odersky2015-09-181-1/+10
| * Better diagnostics for failed sigName calls.Martin Odersky2015-09-181-1/+5
| * Check argument lengths in typedAppliedTypeTreeMartin Odersky2015-09-181-2/+12
| * Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-182-3/+27
| * Avoid cyclic references in containsRefinedThisMartin Odersky2015-09-181-2/+3
| * Clean up of logic in typeDefSigMartin Odersky2015-09-181-3/+3
* | Merge pull request #800 from dotty-staging/paramForwarding-commentDmitry Petrashko2015-09-211-0/+12
|\ \ | |/ |/|
| * ParamForwarding #783: answer my own question.Dmitry Petrashko2015-09-201-0/+12
|/
* Merge pull request #798 from dotty-staging/fix-791Dmitry Petrashko2015-09-183-2/+17
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 19:20:00 +0000