Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #811 from dotty-staging/fix-objects-mixin | Dmitry Petrashko | 2015-10-21 | 4 | -7/+7 |
|\ | | | | | Fix #810: initialization of inner objects of traits. | ||||
| * | Address reviewer comments #811. | Dmitry Petrashko | 2015-10-12 | 3 | -7/+5 |
| | | |||||
| * | Mixin: materialise rhs for inherited scala2 modules | Dmitry Petrashko | 2015-09-29 | 1 | -1/+3 |
| | | |||||
| * | ExplicitOuter: Scala2 inner modules always require outer pointer. | Dmitry Petrashko | 2015-09-29 | 1 | -3/+2 |
| | | |||||
| * | UnpickleScala2: Scala modules do not set Lazy Flag. | Dmitry Petrashko | 2015-09-29 | 1 | -1/+4 |
| | | | | | | | | Dotty modules do. | ||||
| * | Typer: remove unused TyperContextOps | Dmitry Petrashko | 2015-09-29 | 1 | -2/+0 |
| | | |||||
* | | Merge pull request #821 from dotty-staging/fix-check-simple-kinded | Dmitry Petrashko | 2015-10-20 | 5 | -6/+25 |
|\ \ | | | | | | | Check that some types are not higher-kinded. | ||||
| * | | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 5 | -6/+25 |
| | | | | | | | | | | | | Invalidates #813. Review by @darkdimius. | ||||
* | | | Merge pull request #823 from smarter/fix/lifting-and-inference | Guillaume Martres | 2015-10-19 | 7 | -44/+59 |
|\ \ \ | | | | | | | | | Always fully define the types of lifted expressions | ||||
| * | | | Always fully define the types of lifted expressions | Guillaume Martres | 2015-10-19 | 3 | -1/+13 |
| | | | | | | | | | | | | | | | | Fixes #822 | ||||
| * | | | Move Inferencing out of the Typer cake | Guillaume Martres | 2015-10-09 | 4 | -43/+46 |
| | | | | |||||
* | | | | Merge pull request #817 from smarter/fix/avoid | Guillaume Martres | 2015-10-12 | 2 | -21/+83 |
|\ \ \ \ | |/ / / |/| | | | Fix various issues in `TypeAssigner#avoid` | ||||
| * | | | TypeAssigner#avoid: do not lose type parameters when the base type changes. | Guillaume Martres | 2015-10-09 | 2 | -6/+33 |
| | | | | | | | | | | | | | | | | Fixes #741. | ||||
| * | | | Add pos test about escaping refinements | Guillaume Martres | 2015-10-09 | 1 | -0/+10 |
| | | | | |||||
| * | | | TypeAssigner#avoid: don't miss escaping refs in complex types | Guillaume Martres | 2015-10-09 | 2 | -15/+20 |
| | | | | |||||
| * | | | TypeAssigner#avoid: more precise types for inner classes | Guillaume Martres | 2015-10-09 | 2 | -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-inference | odersky | 2015-10-07 | 5 | -16/+122 |
|\ \ \ \ | |_|/ / |/| | | | Change inference | ||||
| * | | | Generalize set of typevars instantiated before implicit search | Martin Odersky | 2015-09-18 | 2 | -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 test | Martin Odersky | 2015-09-18 | 1 | -0/+7 |
| | | | | | | | | | | | | | | | | (scalac and dotty both produce an error here) | ||||
| * | | | Add test case | Martin Odersky | 2015-09-18 | 1 | -0/+10 |
| | | | | |||||
| * | | | Fixes #739 | Martin Odersky | 2015-09-18 | 2 | -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 direction | Martin Odersky | 2015-09-18 | 2 | -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 case | Martin Odersky | 2015-09-18 | 1 | -2/+1 |
| | | | | |||||
* | | | | Merge pull request #820 from dotty-staging/add-collection-strawman | odersky | 2015-10-06 | 3 | -0/+643 |
|\ \ \ \ | | | | | | | | | | | Add collection strawman #1 | ||||
| * | | | | Rename collectAs -> to | Martin Odersky | 2015-10-06 | 2 | -16/+16 |
| | | | | | |||||
| * | | | | Tweaks to conform with API set out in #818. | Martin Odersky | 2015-10-06 | 2 | -21/+18 |
| | | | | | |||||
| * | | | | Bugfixes and move CollectionStrawMan1 into the correct directory. | Martin Odersky | 2015-10-06 | 2 | -71/+96 |
| | | | | | |||||
| * | | | | Add ArrayBuffer as another Seq class. Make iterators inspectable. | Martin Odersky | 2015-10-06 | 3 | -101/+173 |
| | | | | | |||||
| * | | | | Add collection strawman and its tests | Martin Odersky | 2015-10-06 | 3 | -0/+549 |
| | | | | | | | | | | | | | | | | | | | | This compiles only after the changes in this branch. | ||||
* | | | | | Merge pull request #805 from dotty-staging/change-freeze-bounds | odersky | 2015-10-06 | 15 | -54/+360 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | Change : freeze bounds | ||||
| * | | | | Revert "Make prefix covariant in type maps." | Martin Odersky | 2015-10-06 | 1 | -1/+7 |
| |/ / / | | | | | | | | | | | | | This reverts commit 0a48b2a6d3516f1f7d10d9a2a594a744ef98d5e8. | ||||
| * | | | Make prefix covariant in type maps. | Martin Odersky | 2015-10-06 | 1 | -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 rewritings | Martin Odersky | 2015-10-06 | 1 | -0/+6 |
| | | | | |||||
| * | | | Move failing test to pending | Martin Odersky | 2015-10-01 | 1 | -0/+0 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | There is a diff, but a minor one. Instead of (T? >: Int <: Int) we get (T? = Int) after pickling. | ||||
| * | | | Add test case | Martin Odersky | 2015-10-01 | 1 | -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 Odersky | 2015-10-01 | 1 | -0/+24 |
| | | | | | | | | | | | | | | | | Overall goal: Push backtracking deeper into the tree. | ||||
| * | | | Freeze constraints when checking parameter matching and subsumption. | Martin Odersky | 2015-10-01 | 2 | -3/+11 |
| | | | | | | | | | | | | | | | | | | | | Checking whether two alternatives are the same should not unify them by instantiating type variables. | ||||
| * | | | Fix typo in previous commit. | Martin Odersky | 2015-10-01 | 1 | -1/+1 |
| | | | | |||||
| * | | | Opportunistically merge A & A -> A and B | B -> B in <:< | Martin Odersky | 2015-10-01 | 1 | -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 OrderingConstraint | Martin Odersky | 2015-10-01 | 1 | -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 refactoring | Martin Odersky | 2015-10-01 | 1 | -11/+12 |
| | | | | | | | | | | | | | | | | Avoid redundant computations when already in printing mode. | ||||
| * | | | Restore state when detecting a baseTypeRef cycle. | Martin Odersky | 2015-10-01 | 1 | -0/+1 |
| | | | | |||||
| * | | | underlyingChain -> underlyingIterator | Martin Odersky | 2015-10-01 | 1 | -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 Odersky | 2015-10-01 | 1 | -1/+2 |
| | | | | | | | | | | | | | | | | Logging while printing messes up the recursion counts. | ||||
| * | | | Fix compilation error. | Martin Odersky | 2015-10-01 | 1 | -1/+1 |
| | | | | |||||
| * | | | Replace withMode by addMode | Martin Odersky | 2015-10-01 | 5 | -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 Odersky | 2015-10-01 | 3 | -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 Odersky | 2015-10-01 | 1 | -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-ScalaRunTime | odersky | 2015-10-02 | 2 | -1/+10 |
|\ \ \ \ | |/ / / |/| | | | fix compiling ScalaRunTime.scala | ||||
| * | | | add a test for a pattern match with ignored type param | Sarunas Valaskevicius | 2015-09-25 | 1 | -0/+9 |
| | | | |