aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-202-3/+16
|\
| * Check that some types are not higher-kinded.Martin Odersky2015-10-072-3/+16
* | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-195-44/+49
|\ \
| * | Always fully define the types of lifted expressionsGuillaume Martres2015-10-191-1/+3
| * | Move Inferencing out of the Typer cakeGuillaume Martres2015-10-094-43/+46
* | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-121-21/+41
|\ \ \ | |/ / |/| |
| * | TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-091-6/+21
| * | TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-091-14/+11
| * | TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-091-2/+10
* | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-072-14/+97
|\ \ \ | |_|/ |/| |
| * | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-181-22/+35
| * | Fixes #739Martin Odersky2015-09-182-6/+40
| * | Change algorithm that computes instantiation directionMartin Odersky2015-09-182-9/+45
* | | Merge pull request #820 from dotty-staging/add-collection-strawmanodersky2015-10-061-0/+405
|\ \ \
| * | | Rename collectAs -> toMartin Odersky2015-10-061-2/+2
| * | | 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
* | | | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-0612-53/+114
|\ \ \ \ | |_|_|/ |/| | |
| * | | 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
| * | 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
* | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-021-1/+1
|\ \ \ | |/ / |/| |
| * | fix compiling ScalaRunTime.scalaSarunas Valaskevicius2015-09-251-1/+1
* | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-11 23:13:46 +0000