aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Tweaks to conform with API set out in #818.Martin Odersky2015-10-061-7/+4
* Bugfixes and move CollectionStrawMan1 into the correct directory.Martin Odersky2015-10-061-61/+86
* Add ArrayBuffer as another Seq class. Make iterators inspectable.Martin Odersky2015-10-061-101/+154
* Add collection strawman and its testsMartin Odersky2015-10-061-0/+330
* Make prefix covariant in type maps.Martin Odersky2015-10-061-7/+1
* Add explanations for rewritingsMartin Odersky2015-10-061-0/+6
* Reshuffle nested and/or calls.Martin Odersky2015-10-011-0/+24
* Freeze constraints when checking parameter matching and subsumption.Martin Odersky2015-10-012-3/+11
* Fix typo in previous commit.Martin Odersky2015-10-011-1/+1
* Opportunistically merge A & A -> A and B | B -> B in <:<Martin Odersky2015-10-011-0/+6
* Implement toString for OrderingConstraintMartin Odersky2015-10-011-1/+18
* Slight code refactoringMartin Odersky2015-10-011-11/+12
* Restore state when detecting a baseTypeRef cycle.Martin Odersky2015-10-011-0/+1
* underlyingChain -> underlyingIteratorMartin Odersky2015-10-011-4/+10
* Don't log when in Printing mode.Martin Odersky2015-10-011-1/+2
* Fix compilation error.Martin Odersky2015-10-011-1/+1
* Replace withMode by addModeMartin Odersky2015-10-014-8/+8
* Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-013-10/+15
* Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-17 17:25:51 +0000