Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hk | Dmitry Petrashko | 2015-11-02 | 4 | -15/+262 |
|\ | | | | | Change allow ex in hk | ||||
| * | Represent references to Scala2 inner classes as WithFixedSym types | Martin Odersky | 2015-10-25 | 3 | -262/+6 |
| | | | | | | | | | | | | | | Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype. In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric and math.Ordering both have an inner class "Ops". Normal TypeRef types could not select the shadowed class in Ordering is the prefix is of type Numeric. | ||||
| * | Add fixed version of GenTraversableFactory. | Martin Odersky | 2015-10-24 | 1 | -0/+256 |
| | | | | | | | | | | | | | | There is still an issue because math uses inner classes named Ops which shadow each other. Dotty can't handle it, so implicit search in `range` goes wrong. The new test has been modified to work around that issue. | ||||
| * | Add test case | Martin Odersky | 2015-10-24 | 1 | -0/+252 |
| | | |||||
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 2 | -11/+6 |
| | | |||||
* | | Merge pull request #887 from dotty-staging/fix-#873 | odersky | 2015-11-02 | 1 | -0/+10 |
|\ \ | | | | | | | Allow pattern matching anonymous functions of arity > 1 | ||||
| * | | Also handle SAM functions when adaptiing arity of case lambdas. | Martin Odersky | 2015-10-30 | 1 | -0/+6 |
| | | | |||||
| * | | Allow pattern matching anonymous functions of arity > 1 | Martin Odersky | 2015-10-30 | 1 | -0/+4 |
| | | | | | | | | | | | | This is sepcified in Sec. 8.5 of the SLS. Fixes #873. Review by @smarter. | ||||
* | | | Add tests for wildcards without types | Martin Odersky | 2015-11-02 | 1 | -0/+2 |
| | | | | | | | | | | | | As suggested by review. | ||||
* | | | Parentheses around a wildcard should not produce a lambda | Martin Odersky | 2015-11-02 | 1 | -0/+24 |
| | | | | | | | | | | | | | | | | | | | | | `(_)` and `(_: T)` should not be converted to functions x => x (x: T) => x | ||||
* | | | Address reviewer comments | Martin Odersky | 2015-10-30 | 1 | -0/+0 |
| | | | |||||
* | | | Fix #879 | Martin Odersky | 2015-10-30 | 1 | -0/+11 |
| | | | | | | | | | | | | Don't insert a constructor call when typechecking Java classes. | ||||
* | | | Merge pull request #886 from dotty-staging/fix-#884 | Guillaume Martres | 2015-10-30 | 6 | -13/+16 |
|\ \ \ | |/ / |/| | | Fix #884 - misdiagnosed ambiguous definition. | ||||
| * | | Add missing test file. | Martin Odersky | 2015-10-30 | 1 | -0/+28 |
| | | | |||||
| * | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 6 | -41/+16 |
| | | | | | | | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit. | ||||
* | | | Set position on annotations parsed from Java | Guillaume Martres | 2015-10-29 | 1 | -0/+3 |
| | | | | | | | | | | | | Fix a crash in Typer#assertPositioned | ||||
* | | | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 1 | -0/+9 |
|/ / | | | | | | | If an error message was supressed to count it in the total. | ||||
* | | Fix hole in subtyping of modules | Martin Odersky | 2015-10-25 | 1 | -0/+9 |
| | | | | | | | | | | We did not handle correctly the case exemplified by `range.scala`: A module this type, which is compared with a getter to the same module. Seen in the wild in scala.math.BigDecimal. | ||||
* | | Fix issue that prevented instantiating some tvars before implicit search | Guillaume Martres | 2015-10-25 | 1 | -2/+28 |
| | | |||||
* | | Less eager tvar interpolation: wait until method calls are fully applied | Guillaume Martres | 2015-10-25 | 1 | -0/+12 |
| | | | | | | | | Fix #738 | ||||
* | | Merge pull request #843 from dotty-staging/fix-#830 | odersky | 2015-10-25 | 1 | -0/+6 |
|\ \ | |/ |/| | Fix #830: Compiler hangs on implicit search with singleton &/| | ||||
| * | Fix #830: Compiler hangs on implicit search with singleton &/| | Martin Odersky | 2015-10-22 | 1 | -0/+6 |
| | | | | | | | | | | | | In fact we get a deep subtype recursion when compileing i830.scala. The problem goes away once we make use of the fact that the intersection of two singleton types which are not subtypes of each other is empty. | ||||
* | | Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias | Dmitry Petrashko | 2015-10-23 | 1 | -0/+11 |
|\ \ | | | | | | | Fix #815. | ||||
| * | | Fix #815. | Martin Odersky | 2015-10-20 | 1 | -0/+11 |
| | | | | | | | | | | | | Need to handle hk-aliases specially in typedNew | ||||
* | | | Better handling of merge errors | Martin Odersky | 2015-10-22 | 1 | -0/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | Instead of picking one at random, throw a MergeError which might be caught later in mergeDenot. MergeDenot has enough info to pick a simulate Scala2 linarization if the prefix comes from Scala2, or it rethrows the exception so that it becomes a type error. | ||||
* | | | Merge pull request #841 from dotty-staging/fix-#831-object-self | odersky | 2015-10-22 | 1 | -0/+4 |
|\ \ \ | | | | | | | | | Fix #831 object self | ||||
| * | | | Fix #831 | Martin Odersky | 2015-10-22 | 1 | -0/+4 |
| | |/ | |/| | | | | | | | | | | Need to create a self symbols for modules with explicit self type, but need to take care it is already typed, or sourceModule risks running into CyclicReferences. | ||||
* | | | Merge pull request #835 from dotty-staging/add-more-tests | odersky | 2015-10-22 | 10 | -0/+130 |
|\ \ \ | |/ / |/| | | Add more tests | ||||
| * | | 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 |
| | | | |