Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hk | Dmitry Petrashko | 2015-11-02 | 10 | -94/+105 |
|\ | | | | | Change allow ex in hk | ||||
| * | Represent references to Scala2 inner classes as WithFixedSym types | Martin Odersky | 2015-10-25 | 2 | -16/+24 |
| | | | | | | | | | | | | | | 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. | ||||
| * | Make Lazy and Trait "From Start" flags | Martin Odersky | 2015-10-25 | 1 | -2/+4 |
| | | |||||
| * | Make SuperAccessor and Scala2x "FromStart" flags. | Martin Odersky | 2015-10-25 | 2 | -2/+4 |
| | | |||||
| * | Remove redundant tests | Martin Odersky | 2015-10-24 | 1 | -3/+1 |
| | | | | | | | | isHK already does a dealias. | ||||
| * | Don't drop $apply when eliminating existentials in unpickler | Martin Odersky | 2015-10-24 | 2 | -2/+2 |
| | | |||||
| * | Revise typeParams to account for existential hk types | Martin Odersky | 2015-10-24 | 2 | -28/+37 |
| | | |||||
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 4 | -43/+35 |
| | | |||||
* | | Merge pull request #887 from dotty-staging/fix-#873 | odersky | 2015-11-02 | 2 | -15/+24 |
|\ \ | | | | | | | Allow pattern matching anonymous functions of arity > 1 | ||||
| * | | Also handle SAM functions when adaptiing arity of case lambdas. | Martin Odersky | 2015-10-30 | 1 | -14/+13 |
| | | | |||||
| * | | Revert nullary function patch | Martin Odersky | 2015-10-30 | 1 | -2/+2 |
| | | | | | | | | | | | | Nullary functions are handled by scalac, and dotty should do the same. | ||||
| * | | Fix case expansion for nullary functions. | Martin Odersky | 2015-10-30 | 1 | -3/+3 |
| | | | | | | | | | | | | Always expand to at least one parameter. | ||||
| * | | Allow pattern matching anonymous functions of arity > 1 | Martin Odersky | 2015-10-30 | 2 | -6/+16 |
| | | | | | | | | | | | | This is sepcified in Sec. 8.5 of the SLS. Fixes #873. Review by @smarter. | ||||
* | | | Parentheses around a wildcard should not produce a lambda | Martin Odersky | 2015-11-02 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | `(_)` and `(_: T)` should not be converted to functions x => x (x: T) => x | ||||
* | | | Merge pull request #894 from dotty-staging/check-singlethreaded | Dmitry Petrashko | 2015-10-31 | 2 | -0/+11 |
|\ \ \ | | | | | | | | | Check that access to context base is singlethreaded. | ||||
| * | | | Check that access to context base is singlethreaded. | Martin Odersky | 2015-10-31 | 2 | -0/+11 |
| | | | | | | | | | | | | | | | | | | | | | | | | ContextBase is not intended to be threadsafe, We now test that indeed it is not shared by compileUnits calls operating on different threads. | ||||
* | | | | Merge pull request #890 from dotty-staging/fix-#879 | Dmitry Petrashko | 2015-10-31 | 1 | -1/+1 |
|\ \ \ \ | |/ / / |/| | | | Fix #879 | ||||
| * | | | Address reviewer comments | Martin Odersky | 2015-10-30 | 1 | -2/+2 |
| | | | | |||||
| * | | | Fix #879 | Martin Odersky | 2015-10-30 | 2 | -3/+3 |
| | | | | | | | | | | | | | | | | Don't insert a constructor call when typechecking Java classes. | ||||
* | | | | Avoid printing expanded names when displaying type parameters. | Martin Odersky | 2015-10-30 | 1 | -6/+5 |
|/ / / | | | | | | | | | | | | | Differences can be observed when checking neg/variances.scala. Review and any necessary polishing by @smarter. | ||||
* | | | Merge pull request #886 from dotty-staging/fix-#884 | Guillaume Martres | 2015-10-30 | 1 | -1/+1 |
|\ \ \ | |/ / |/| | | Fix #884 - misdiagnosed ambiguous definition. | ||||
| * | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit. | ||||
* | | | Merge pull request #882 from dotty-staging/fix/java-annots-pos | odersky | 2015-10-30 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Set position on annotations parsed from Java | ||||
| * | | | Set position on annotations parsed from Java | Guillaume Martres | 2015-10-29 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Fix a crash in Typer#assertPositioned | ||||
* | | | | Make it easier to call the compiler using reflection | Guillaume Martres | 2015-10-29 | 1 | -1/+7 |
|/ / / | |||||
* | | | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 4 | -16/+21 |
| | | | | | | | | | | | | If an error message was supressed to count it in the total. | ||||
* | | | Keep separate chain of outer reporters for StoreReporters | Martin Odersky | 2015-10-26 | 5 | -7/+12 |
| | | | | | | | | | | | | | | | | | | | | | | | | Used in rewritten `errorsReported` method. This fixes #866. The problem before was that `TyperState#trywithFallBack` temporarily updates the reporter, so crawling up the context chain to check for reporters with errors missed some reported errors, which triggered the assertion in `Tree#withType`. | ||||
* | | | Shorten ctx.typerState.reporter to ctx.reporter | Martin Odersky | 2015-10-26 | 6 | -6/+6 |
|/ / | | | | | | | ... making use of method in `ctx`. | ||||
* | | Fix hole in subtyping of modules | Martin Odersky | 2015-10-25 | 1 | -4/+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. | ||||
* | | Readd `.widen` which was accidentally removed from the previous commit | Guillaume Martres | 2015-10-25 | 1 | -1/+1 |
| | | |||||
* | | Simplify logic in adapt | Martin Odersky | 2015-10-25 | 1 | -10/+2 |
| | | |||||
* | | Fix issue that prevented instantiating some tvars before implicit search | Guillaume Martres | 2015-10-25 | 1 | -1/+1 |
| | | |||||
* | | Less eager tvar interpolation: wait until method calls are fully applied | Guillaume Martres | 2015-10-25 | 1 | -2/+11 |
| | | | | | | | | Fix #738 | ||||
* | | Merge pull request #843 from dotty-staging/fix-#830 | odersky | 2015-10-25 | 1 | -3/+19 |
|\ \ | | | | | | | Fix #830: Compiler hangs on implicit search with singleton &/| | ||||
| * | | Only replace intersections of constants with Nothing | Martin Odersky | 2015-10-23 | 1 | -4/+10 |
| | | | |||||
| * | | Fix #830: Compiler hangs on implicit search with singleton &/| | Martin Odersky | 2015-10-22 | 1 | -3/+13 |
| | | | | | | | | | | | | | | | | | | 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. | ||||
* | | | Print stack traces before creating stub symbols | Dmitry Petrashko | 2015-10-23 | 2 | -3/+8 |
| | | | |||||
* | | | Revert "Workaround #840" | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | This reverts commit acd7b9d31cd0a2fbc285921bdc5a7bdc9c1d2872. | ||||
* | | | Workaround #840 | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
| |/ |/| | |||||
* | | Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias | Dmitry Petrashko | 2015-10-23 | 1 | -1/+6 |
|\ \ | | | | | | | Fix #815. | ||||
| * | | Fix #815. | Martin Odersky | 2015-10-20 | 1 | -1/+6 |
| | | | | | | | | | | | | Need to handle hk-aliases specially in typedNew | ||||
* | | | Merge pull request #842 from dotty-staging/fix-838 | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Fix #838. Fixes to non-local modules& static forwarders. | ||||
| * | | | Fix DottyBackendInterafec.isStaticModuleClass. | Dmitry Petrashko | 2015-10-22 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Used to pass wrong context. | ||||
* | | | | Merge pull request #849 from dotty-staging/fix-#840 | Dmitry Petrashko | 2015-10-23 | 2 | -2/+2 |
|\ \ \ \ | | | | | | | | | | | Fix #840 | ||||
| * | | | | Don't drop impure expressions when eliding isInstanceOf tests. | Martin Odersky | 2015-10-23 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Fix #840 | Martin Odersky | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Problem was that interceptTypeTestCasts was run at wrong phase. It saw after erasura a type of the form `x.Array$$T`. Before erasure that type is simply an alias of another type, but after erasure, Arraya$$T is defined to be a type alias of a Wildcard type. | ||||
* | | | | | Address reviewer comments | Martin Odersky | 2015-10-22 | 1 | -5/+1 |
| | | | | | |||||
* | | | | | Simplify treatment of merge conflicts | Martin Odersky | 2015-10-22 | 1 | -37/+16 |
| | | | | | | | | | | | | | | | | | | | | Now, we always throw a merge error. No more exceptions. | ||||
* | | | | | Better handling of merge errors | Martin Odersky | 2015-10-22 | 3 | -4/+14 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
* | | | | | Check for cyclic inheritance. | Martin Odersky | 2015-10-22 | 1 | -1/+8 |
|/ / / / |