aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #820 from dotty-staging/add-collection-strawmanodersky2015-10-063-0/+643
|\
| * Rename collectAs -> toMartin Odersky2015-10-062-16/+16
| * Tweaks to conform with API set out in #818.Martin Odersky2015-10-062-21/+18
| * Bugfixes and move CollectionStrawMan1 into the correct directory.Martin Odersky2015-10-062-71/+96
| * Add ArrayBuffer as another Seq class. Make iterators inspectable.Martin Odersky2015-10-063-101/+173
| * Add collection strawman and its testsMartin Odersky2015-10-063-0/+549
* | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-0615-54/+360
|\ \
| * | Revert "Make prefix covariant in type maps."Martin Odersky2015-10-061-1/+7
| |/
| * Make prefix covariant in type maps.Martin Odersky2015-10-061-7/+1
| * Add explanations for rewritingsMartin Odersky2015-10-061-0/+6
| * Move failing test to pendingMartin Odersky2015-10-011-0/+0
| * Add test caseMartin Odersky2015-10-011-0/+245
| * 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-015-9/+9
| * Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-013-10/+15
| * Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
* | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-022-1/+10
|\ \ | |/ |/|
| * add a test for a pattern match with ignored type paramSarunas Valaskevicius2015-09-251-0/+9
| * fix compiling ScalaRunTime.scalaSarunas Valaskevicius2015-09-251-1/+1
* | Merge pull request #812 from dotty-staging/fix/#806-signature-matchingDmitry Petrashko2015-09-3011-75/+59
|\ \
| * | 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
| * | Move test to posMartin Odersky2015-09-291-0/+0
| * | 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-295-42/+47
|/ /
* | Merge pull request #807 from svalaskevicius/cleanup-codeDmitry Petrashko2015-09-292-7/+1
|\ \ | |/ |/|
| * 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-18 06:49:06 +0000