aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Remove disgnostic printlnMartin Odersky2015-10-211-1/+1
|
* Merge pull request #811 from dotty-staging/fix-objects-mixinDmitry Petrashko2015-10-214-7/+7
|\ | | | | Fix #810: initialization of inner objects of traits.
| * Address reviewer comments #811.Dmitry Petrashko2015-10-123-7/+5
| |
| * Mixin: materialise rhs for inherited scala2 modulesDmitry Petrashko2015-09-291-1/+3
| |
| * ExplicitOuter: Scala2 inner modules always require outer pointer.Dmitry Petrashko2015-09-291-3/+2
| |
| * UnpickleScala2: Scala modules do not set Lazy Flag.Dmitry Petrashko2015-09-291-1/+4
| | | | | | | | Dotty modules do.
| * Typer: remove unused TyperContextOpsDmitry Petrashko2015-09-291-2/+0
| |
* | Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-205-6/+25
|\ \ | | | | | | Check that some types are not higher-kinded.
| * | Check that some types are not higher-kinded.Martin Odersky2015-10-075-6/+25
| | | | | | | | | | | | Invalidates #813. Review by @darkdimius.
* | | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-197-44/+59
|\ \ \ | | | | | | | | Always fully define the types of lifted expressions
| * | | Always fully define the types of lifted expressionsGuillaume Martres2015-10-193-1/+13
| | | | | | | | | | | | | | | | Fixes #822
| * | | Move Inferencing out of the Typer cakeGuillaume Martres2015-10-094-43/+46
| | | |
* | | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-122-21/+83
|\ \ \ \ | |/ / / |/| | | Fix various issues in `TypeAssigner#avoid`
| * | | TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-092-6/+33
| | | | | | | | | | | | | | | | Fixes #741.
| * | | Add pos test about escaping refinementsGuillaume Martres2015-10-091-0/+10
| | | |
| * | | TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-092-15/+20
| | | |
| * | | TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-092-2/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When we need to avoid `A` in the class `A#B`, we can try to replace `A` by a supertype. Previously, we only tried to replace `A#B` itself by a supertype. Fixes #711.
* | | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-075-16/+122
|\ \ \ \ | |_|/ / |/| | | Change inference
| * | | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-182-22/+42
| | | | | | | | | | | | | | | | | | | | | | | | We now also consider type variables in a selection prefix of the application. The test case was augmented to include a snippet which only succeeds under the generalization.
| * | | Added neg testMartin Odersky2015-09-181-0/+7
| | | | | | | | | | | | | | | | (scalac and dotty both produce an error here)
| * | | Add test caseMartin Odersky2015-09-181-0/+10
| | | |
| * | | Fixes #739Martin Odersky2015-09-182-6/+40
| | | | | | | | | | | | | | | | | | | | | | | | by adding the following rule: Before typing an implicit parameter list of a method m, instantiate all type parameters of m that occur in the type of some preceding value parameter of m.
| * | | Change algorithm that computes instantiation directionMartin Odersky2015-09-182-9/+45
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Change algorithm that determines whether type variables are minimized or maximized. We used to look only at the variance type variable in the containing type. We now also look with higher precedence at the direction from which the type variable was constrained. This is closer to what scalac does.
| * | | Add test caseMartin Odersky2015-09-181-2/+1
| | | |
* | | | Merge pull request #820 from dotty-staging/add-collection-strawmanodersky2015-10-063-0/+643
|\ \ \ \ | | | | | | | | | | Add collection strawman #1
| * | | | 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
| | | | | | | | | | | | | | | | | | | | This compiles only after the changes in this branch.
* | | | | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-0615-54/+360
|\ \ \ \ \ | |_|_|/ / |/| | | | Change : freeze bounds
| * | | | Revert "Make prefix covariant in type maps."Martin Odersky2015-10-061-1/+7
| |/ / / | | | | | | | | | | | | This reverts commit 0a48b2a6d3516f1f7d10d9a2a594a744ef98d5e8.
| * | | Make prefix covariant in type maps.Martin Odersky2015-10-061-7/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | According to the new subtyping rules, T <: U ==> T#X <: U#X and T#x <: U#x Therefore type maps should treat the prefix of a named type covariantly.
| * | | Add explanations for rewritingsMartin Odersky2015-10-061-0/+6
| | | |
| * | | Move failing test to pendingMartin Odersky2015-10-011-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | There is a diff, but a minor one. Instead of (T? >: Int <: Int) we get (T? = Int) after pickling.
| * | | Add test caseMartin Odersky2015-10-011-0/+245
| | | | | | | | | | | | | | | | | | | | Iter2.scala fails with 6 errors, but succeeds once lubs and glbs do not try to unify under invariant type constructors.
| * | | Reshuffle nested and/or calls.Martin Odersky2015-10-011-0/+24
| | | | | | | | | | | | | | | | Overall goal: Push backtracking deeper into the tree.
| * | | Freeze constraints when checking parameter matching and subsumption.Martin Odersky2015-10-012-3/+11
| | | | | | | | | | | | | | | | | | | | Checking whether two alternatives are the same should not unify them by instantiating type variables.
| * | | 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
| | | | | | | | | | | | | | | | | | | | | | | | Cases like these (in fact one of the operads was a type variable the other its underlying polyparam) arose in pos/overloads.scala and caused deep subtype recursions.
| * | | Implement toString for OrderingConstraintMartin Odersky2015-10-011-1/+18
| | | | | | | | | | | | | | | | | | | | | | | | We had problems printing constraints which are ill-formed, because the basic operations & , | cause exceptions themselves. toString serves as a fallback if show does not work.
| * | | Slight code refactoringMartin Odersky2015-10-011-11/+12
| | | | | | | | | | | | | | | | Avoid redundant computations when already in printing mode.
| * | | Restore state when detecting a baseTypeRef cycle.Martin Odersky2015-10-011-0/+1
| | | |
| * | | underlyingChain -> underlyingIteratorMartin Odersky2015-10-011-4/+10
| | | | | | | | | | | | | | | | | | | | make successive underlying values an iterator (so that we do not run into a stackoverflow in case of cycles).
| * | | Don't log when in Printing mode.Martin Odersky2015-10-011-1/+2
| | | | | | | | | | | | | | | | Logging while printing messes up the recursion counts.
| * | | Fix compilation error.Martin Odersky2015-10-011-1/+1
| | | |
| * | | Replace withMode by addModeMartin Odersky2015-10-015-9/+9
| | | | | | | | | | | | | | | | | | | | | | | | withMode sets the whole mode, nit an individual bits. This was used wrongly in several places. Make this less of a trap by renaming withMode -> withModeBits.
| * | | Change some occurrences of <:< to frozen_<:<Martin Odersky2015-10-013-10/+15
| | | | | | | | | | | | | | | | | | | | Some subtype tests should not instantiate type variables, in particular those having to do with & and |.
| * | | Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
| | | | | | | | | | | | | | | | | | | | Can assume P#T <: Q#T if P <: Q. This follows from the rules how we expand # to existentials.
* | | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-022-1/+10
|\ \ \ \ | |/ / / |/| | | fix compiling ScalaRunTime.scala
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 12:43:14 +0000