aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* | | Replace `containsSig` with `matches`.Martin Odersky2015-09-301-12/+9
* | | Refinements to signature matchingMartin Odersky2015-09-303-57/+62
* | | Fix a long sleeper bugMartin Odersky2015-09-301-0/+1
* | | Refine atSignatureMartin Odersky2015-09-292-6/+20
* | | Fix problem with avoid.Martin Odersky2015-09-291-3/+4
* | | Eliminate Config.newMatch optionMartin Odersky2015-09-293-43/+4
* | | Matching denotations should take infos into accountMartin Odersky2015-09-293-38/+44
* | | remove unused codeSarunas Valaskevicius2015-09-251-7/+0
|/ /
* | Merge pull request #802 from dotty-staging/change-hk-1odersky2015-09-2517-236/+427
|\ \
| * | Fixes to comments suggested by reviewerMartin Odersky2015-09-211-6/+6
| * | Eta expand $apply projected types if neededMartin Odersky2015-09-214-16/+52
| * | 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-181-1/+28
| * | 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 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-181-1/+25
| * | Avoid cyclic references in containsRefinedThisMartin Odersky2015-09-181-2/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 15:43:45 +0000