Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #1795: Avoid infinite recursion between member and asSeenFrom | Martin Odersky | 2016-12-21 | 3 | -6/+25 |
| | |||||
* | Merge pull request #1832 from dotty-staging/fix-1810 | odersky | 2016-12-20 | 1 | -7/+17 |
|\ | | | | | Fix #1812, Symbols.mapSymbols shouldn't replace denotations | ||||
| * | Fix #1812, Symbols.mapSymbols shouldn't force annotation transformation. | Dmitry Petrashko | 2016-12-19 | 1 | -1/+2 |
| | | | | | | | | Reasoning similar to one in the previous commit also applies to annotations. | ||||
| * | Fix #1812, Symbols.mapSymbols shouldn't replace denotations | Dmitry Petrashko | 2016-12-19 | 1 | -6/+15 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It will use lazy types instead. The current version transforms a type, with a context that has denotations that may be forcefully replaced by mapSymbols. Types created during this transformation may cache denots, that are-to-be replaced. This is very problematic as this method is called from TreeTypeMap.withMappedSyms in a fixed-point cycle, creating new symbols on every iteration. Those cached denotations could make types keep symbols from previous iterations indefinitely. The changed version does not transform the types eagerly, and instead makes them lazy. Assuming there are no cycles, this should ensure correct ordering. Unfortunatelly, at this point in the compiler we basically always touch everything, and we can't even transform the info of denotation without this denotations info. We basically have a chicked&egg problem here. To solve it, I use the same trick as used by other lazy types by assigning an approximation of future type first. This allows to pass the tests and makes dotty more robust, but I suspect this isn't a complete fix and new similar bugs may arrive. | ||||
* | | Merge pull request #1821 from dotty-staging/fix-i1820 | odersky | 2016-12-20 | 1 | -7/+13 |
|\ \ | | | | | | | Fix #1820: make sure outer of traits implemented | ||||
| * | | address review: rename hasOuterFlag to clsHasOuter | liu fengyun | 2016-12-20 | 1 | -3/+3 |
| | | | |||||
| * | | refine previous commit | liu fengyun | 2016-12-19 | 1 | -2/+2 |
| | | | |||||
| * | | Fix #1820: condition of whether generates outer | liu fengyun | 2016-12-19 | 1 | -1/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously, we don't generate `outer` for the anonymous class `new Inner2 {}`. This is incorrect, as `Inner2 {}` extends `A.Inner`, which requires an outer. trait A { val a = "a" trait Inner { def f = println(a) def h = 3 } } trait B extends A { trait Inner2 extends Inner new Inner2 {} } | ||||
| * | | fix #1820: make sure outer of traits implemented | liu fengyun | 2016-12-18 | 1 | -7/+12 |
| | | | |||||
* | | | Merge pull request #1833 from dotty-staging/fix-#1793 | odersky | 2016-12-19 | 3 | -6/+12 |
|\ \ \ | | | | | | | | | Fix #1793: allow multiversal comparisons between Null and X | ||||
| * | | | Move `eqNullable` check to `assumedCanEqual` | Felix Mulder | 2016-12-19 | 1 | -20/+12 |
| | | | | |||||
| * | | | whitelist WeakReference | Felix Mulder | 2016-12-19 | 2 | -5/+1 |
| | | | | |||||
| * | | | Fix #1793: allow multiversal comparisons between Null and X | Felix Mulder | 2016-12-19 | 1 | -2/+20 |
| | | | | |||||
* | | | | Merge pull request #1831 from dotty-staging/fix/dotty-on-dotty | Guillaume Martres | 2016-12-19 | 1 | -5/+7 |
|\ \ \ \ | | | | | | | | | | | Fix JUnit compilation of dotty by dotty | ||||
| * | | | | Add back a JUnit "dotty" test | Guillaume Martres | 2016-12-19 | 1 | -0/+5 |
| | | | | | | | | | | | | | | | | | | | | | | | | | This way we can test that dotty compiles dotty using dotty-compiler/test-only -- --tests=dotty | ||||
| * | | | | Fix booted tests not compiling anything | Guillaume Martres | 2016-12-19 | 1 | -6/+3 |
| |/ / / | | | | | | | | | | | | | | | | | This was broken in 06a3d47ea9fd1b67b3acba9d115a16d18549e377 when the -deep argument was removed | ||||
* | | | | Merge pull request #1829 from dotty-staging/fix-#1794 | Felix Mulder | 2016-12-19 | 2 | -3/+1 |
|\ \ \ \ | | | | | | | | | | | Fix #1794: handle TermRef result types in dottydoc | ||||
| * | | | | Fix #1794: handle TermRef result types in dottydoc | Felix Mulder | 2016-12-19 | 2 | -3/+1 |
| |/ / / | |||||
* | | | | Merge pull request #1825 from dotty-staging/fix-#1824 | Guillaume Martres | 2016-12-19 | 1 | -2/+1 |
|\ \ \ \ | |/ / / |/| | | | Fix #1824: Logic fix in desugar | ||||
| * | | | Fix-#1824 Logic fix in desugar | Martin Odersky | 2016-12-18 | 1 | -2/+1 |
| | | | | | | | | | | | | | | | | An operation was performed quadratically before. | ||||
* | | | | Blacklist scala/util/Sorting.scala | Nicolas Stucki | 2016-12-18 | 2 | -1/+3 |
| | | | | |||||
* | | | | Whitelist source for scala/sys/BooleanProp | Nicolas Stucki | 2016-12-18 | 2 | -3/+1 |
| | | | | |||||
* | | | | Whitelist ObservableMap | Nicolas Stucki | 2016-12-18 | 2 | -15/+6 |
| | | | | |||||
* | | | | Whitelist sources from scala/ | Nicolas Stucki | 2016-12-18 | 2 | -39/+40 |
| | | | | |||||
* | | | | Whitelist sources from scala/runtime | Nicolas Stucki | 2016-12-18 | 2 | -37/+45 |
| | | | | |||||
* | | | | Whitelist sources from scala/annotation | Nicolas Stucki | 2016-12-18 | 2 | -26/+27 |
| | | | | |||||
* | | | | Whitelist sources from scala/ | Nicolas Stucki | 2016-12-18 | 2 | -2/+8 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/parallel | Nicolas Stucki | 2016-12-18 | 2 | -20/+67 |
| | | | | |||||
* | | | | Whitelist sources from scala/concurrent | Nicolas Stucki | 2016-12-18 | 2 | -21/+36 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/script | Nicolas Stucki | 2016-12-18 | 2 | -4/+4 |
| | | | | |||||
* | | | | Blacklist scala/sys/SystemProperties.scala | Nicolas Stucki | 2016-12-18 | 2 | -1/+3 |
| | | | | |||||
* | | | | Whitelist sources from scala/reflect | Nicolas Stucki | 2016-12-18 | 2 | -4/+22 |
| | | | | |||||
* | | | | Whitelist sources from scala/ref | Nicolas Stucki | 2016-12-18 | 2 | -5/+9 |
| | | | | |||||
* | | | | Whitelist all sources from scala/math | Nicolas Stucki | 2016-12-18 | 2 | -4/+4 |
| | | | | |||||
* | | | | Whitelist sources from scala/io | Nicolas Stucki | 2016-12-18 | 2 | -4/+13 |
| | | | | |||||
* | | | | Whitelist sources from scala/beans | Nicolas Stucki | 2016-12-18 | 2 | -9/+9 |
| | | | | |||||
* | | | | Whitelist sources from scala/sys and scala/compat | Nicolas Stucki | 2016-12-18 | 2 | -15/+20 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/parallel/immutable | Nicolas Stucki | 2016-12-18 | 2 | -9/+10 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/concurrent | Nicolas Stucki | 2016-12-18 | 2 | -3/+2 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/convert | Nicolas Stucki | 2016-12-18 | 2 | -6/+13 |
| | | | | |||||
* | | | | Whitelist sources from scala/collection/mutable | Nicolas Stucki | 2016-12-18 | 2 | -66/+105 |
| | | | | |||||
* | | | | Whitelist sources from scala/util | Nicolas Stucki | 2016-12-18 | 2 | -15/+25 |
| | | | | |||||
* | | | | Add scala-collections.blacklist and crosscheck with whitelist. | Nicolas Stucki | 2016-12-18 | 2 | -6/+395 |
| | | | | |||||
* | | | | Merge pull request #1823 from dotty-staging/fix-#1789 | Nicolas Stucki | 2016-12-18 | 1 | -2/+4 |
|\ \ \ \ | | | | | | | | | | | Fix #1789: Fix signature of unit result type | ||||
| * | | | | Fix #1789: Fix signature of unit result type | Martin Odersky | 2016-12-18 | 1 | -2/+4 |
| | |/ / | |/| | | | | | | | | | | was scala.BoxedUnit, should be scala.Unit. | ||||
* | | | | Merge pull request #1822 from dotty-staging/fix-#1792 | odersky | 2016-12-18 | 1 | -0/+2 |
|\ \ \ \ | |_|/ / |/| | | | Fix #1792: Allow newline in front of `{` for procedure syntax | ||||
| * | | | Fix #1792: Allow newline in front of `{` when supporting procedure syntax. | Martin Odersky | 2016-12-14 | 1 | -0/+2 |
| | | | | |||||
* | | | | Merge pull request #1775 from dotty-staging/add-implicit-funtypes | odersky | 2016-12-18 | 30 | -182/+557 |
|\ \ \ \ | | | | | | | | | | | Add implicit function types | ||||
| * | | | | Fix comment | Martin Odersky | 2016-12-17 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | Fix formatting | Martin Odersky | 2016-12-17 | 1 | -2/+1 |
| | | | | |