Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Remove empty test file | Martin Odersky | 2015-10-22 | 1 | -0/+0 | |
| | | | ||||||
| * | | More tests | Martin Odersky | 2015-10-21 | 11 | -0/+130 | |
| |/ | ||||||
* | | Add well-formedness checking for created symbols | Martin Odersky | 2015-10-22 | 3 | -0/+74 | |
| | | | | | | | | Enforces various restrictions of definitions. | |||||
* | | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 6 | -8/+7 | |
| | | ||||||
* | | Test that more than 16 lazy vals can be safely used in one object. | Dmitry Petrashko | 2015-10-22 | 1 | -0/+65 | |
|/ | ||||||
* | Merge pull request #821 from dotty-staging/fix-check-simple-kinded | Dmitry Petrashko | 2015-10-20 | 2 | -2/+8 | |
|\ | | | | | Check that some types are not higher-kinded. | |||||
| * | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 2 | -2/+8 | |
| | | | | | | | | Invalidates #813. Review by @darkdimius. | |||||
* | | Merge pull request #823 from smarter/fix/lifting-and-inference | Guillaume Martres | 2015-10-19 | 1 | -0/+9 | |
|\ \ | | | | | | | Always fully define the types of lifted expressions | |||||
| * | | Always fully define the types of lifted expressions | Guillaume Martres | 2015-10-19 | 1 | -0/+9 | |
| | | | | | | | | | | | | Fixes #822 | |||||
* | | | Merge pull request #817 from smarter/fix/avoid | Guillaume Martres | 2015-10-12 | 1 | -0/+42 | |
|\ \ \ | |/ / |/| | | Fix various issues in `TypeAssigner#avoid` | |||||
| * | | TypeAssigner#avoid: do not lose type parameters when the base type changes. | Guillaume Martres | 2015-10-09 | 1 | -0/+12 | |
| | | | | | | | | | | | | 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 | 1 | -1/+9 | |
| | | | ||||||
| * | | TypeAssigner#avoid: more precise types for inner classes | Guillaume Martres | 2015-10-09 | 1 | -0/+12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | 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 | 3 | -2/+25 | |
|\ \ \ | |_|/ |/| | | Change inference | |||||
| * | | Generalize set of typevars instantiated before implicit search | Martin Odersky | 2015-09-18 | 1 | -0/+7 | |
| | | | | | | | | | | | | | | | | | | 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 | |
| | | | ||||||
| * | | 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 | 2 | -0/+238 | |
|\ \ \ | | | | | | | | | Add collection strawman #1 | |||||
| * | | | Rename collectAs -> to | Martin Odersky | 2015-10-06 | 1 | -14/+14 | |
| | | | | ||||||
| * | | | Tweaks to conform with API set out in #818. | Martin Odersky | 2015-10-06 | 1 | -14/+14 | |
| | | | | ||||||
| * | | | Bugfixes and move CollectionStrawMan1 into the correct directory. | Martin Odersky | 2015-10-06 | 1 | -10/+10 | |
| | | | | ||||||
| * | | | Add ArrayBuffer as another Seq class. Make iterators inspectable. | Martin Odersky | 2015-10-06 | 2 | -0/+19 | |
| | | | | ||||||
| * | | | Add collection strawman and its tests | Martin Odersky | 2015-10-06 | 2 | -0/+219 | |
| | | | | | | | | | | | | | | | | This compiles only after the changes in this branch. | |||||
* | | | | Merge pull request #805 from dotty-staging/change-freeze-bounds | odersky | 2015-10-06 | 2 | -0/+245 | |
|\| | | | |_|/ |/| | | Change : freeze bounds | |||||
| * | | 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. | |||||
* | | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTime | odersky | 2015-10-02 | 1 | -0/+9 | |
|\ \ \ | |/ / |/| | | fix compiling ScalaRunTime.scala | |||||
| * | | add a test for a pattern match with ignored type param | Sarunas Valaskevicius | 2015-09-25 | 1 | -0/+9 | |
| | | | ||||||
* | | | Move test to pos | Martin Odersky | 2015-09-29 | 1 | -0/+0 | |
| | | | | | | | | | | | | | | | A test that checked for errors on overloading now succeeds with the new rules. | |||||
* | | | Matching denotations should take infos into account | Martin Odersky | 2015-09-29 | 1 | -2/+2 | |
|/ / | | | | | | | | | | | | | | | Whenchecking whether two denotations match it is not enough to look at the signatures. The signatures might match (on the parameters) but the actual parametre types might be different. The change always tests infos after signatures, effectively turning the signature test into a pre-filter. | |||||
* | | Fixes to comments suggested by reviewer | Martin Odersky | 2015-09-21 | 1 | -4/+4 | |
| | | | | | | | | Fixes suggested by @marter when reviewing previous hk PR. | |||||
* | | Eta expand $apply projected types if needed | Martin Odersky | 2015-09-21 | 3 | -0/+625 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It turns out that asSeenFrom can produce types that get projected with $apply but that are not higher-kinded. An exampple failure is in Iter3, andother in scala.collection.immutable.Map (which is now part of the test suite). We now detect that situation, and eta expand the projected type in `derivedSelect`, this will force a subssequent `lookupRefined` which will give the desired normalized type. Also added is a configurable test that checks that $apply projected tyeps are in fact higher-kinded. | |||||
* | | Move failing test to pending. | Martin Odersky | 2015-09-18 | 1 | -3/+3 | |
| | | | | | | | | | | | | The original IterableSelfRec is not syntactically legal after the hk changes. I attempted to fix, but there's still a type error. Need to investigate whether this is a true error or a bug. | |||||
* | | Disallow wildcard arguments to higher-kinded types... | Martin Odersky | 2015-09-18 | 2 | -1/+45 | |
| | | | | | | | | ...unless the HK type can be eta-reduced to a class type. | |||||
* | | Eta expand type arguments corresponding to lambdas | Martin Odersky | 2015-09-18 | 1 | -2/+2 | |
|/ | | | | | In Namer, eta expand any type argument that corresponds to a higher-kinded type parameter. Also, check that all type parameter lists are fully applied. | |||||
* | Fix #791 erasedLub of two AnyVals is Object. | Dmitry Petrashko | 2015-09-17 | 1 | -0/+11 | |
| | ||||||
* | New phase: ExplicitSelf | Martin Odersky | 2015-09-17 | 2 | -0/+21 | |
| | | | | | Makes self types explicit, if this is needed to identify a member in a select. Fixes #789. | |||||
* | Enable more tests that pass | Dmitry Petrashko | 2015-09-14 | 75 | -0/+0 | |
| | ||||||
* | final-fields.scala: tes objects with constant final vals. | Dmitry Petrashko | 2015-09-14 | 1 | -1/+4 | |
| | ||||||
* | Add another test | Martin Odersky | 2015-09-14 | 2 | -1/+6 | |
| | | | | | Check that calling a side effecting function returning a constant type does not get suppressed. | |||||
* | Augment test file | Martin Odersky | 2015-09-14 | 1 | -0/+18 | |
| | | | | to test for propagation of constant types. | |||||
* | Test behaviour of final vals. | Dmitry Petrashko | 2015-09-14 | 2 | -0/+24 | |
| | ||||||
* | Add test | Martin Odersky | 2015-09-12 | 2 | -0/+74 | |
| | | | | Should have been added on final vals commit. | |||||
* | Fix desugaring problem | Martin Odersky | 2015-09-12 | 1 | -0/+565 | |
| | | | | Desugaring worked incorrectly when both context bounds and default parameters were present. | |||||
* | Merge pull request #767 from dotty-staging/fix-#756-super-accessors | Dmitry Petrashko | 2015-08-28 | 2 | -0/+16 | |
|\ | | | | | Fix #756 super accessors | |||||
| * | Add missing negative test. | Martin Odersky | 2015-08-21 | 1 | -0/+8 | |
| | | ||||||
| * | Add test case | Martin Odersky | 2015-08-21 | 1 | -0/+8 | |
| | | ||||||
* | | Merge pull request #770 from odersky/fix-repeated | Dmitry Petrashko | 2015-08-24 | 1 | -0/+10 | |
|\ \ | | | | | | | Fix repeated |