aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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 #798 from dotty-staging/fix-791Dmitry Petrashko2015-09-183-2/+17
|\
| * Harmaonize numeric arguments only during typer.Martin Odersky2015-09-171-1/+1
| * Fix #791 erasedLub of two AnyVals is Object.Dmitry Petrashko2015-09-172-1/+16
* | Merge pull request #796 from dotty-staging/fix-#789-problems-in-erasureDmitry Petrashko2015-09-185-1/+63
|\|
| * New phase: ExplicitSelfMartin Odersky2015-09-175-1/+63
* | Merge pull request #795 from dotty-staging/fix-weaker-access-errorsDmitry Petrashko2015-09-182-2/+4
|\|
| * Fix weaker access error when generating bridgesMartin Odersky2015-09-161-1/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 10:37:08 +0000