| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | Add a link from internals index to syntax summary | Jonathan Brachthäuser | 2016-12-22 | 1 | -0/+1 | |
| | | | | | | ||||||
| | * | | | | Add tree annotations back in | Jonathan Brachthäuser | 2016-12-22 | 1 | -88/+92 | |
| | | | | | | ||||||
| | * | | | | Remove syntax description in tex to avoid duplication | Jonathan Brachthäuser | 2016-12-21 | 1 | -327/+0 | |
| | | | | | | ||||||
| | * | | | | More cosmetiques | Jonathan Brachthäuser | 2016-12-21 | 1 | -10/+4 | |
| | | | | | | ||||||
| | * | | | | Move ExprInParens and BlockResult | Jonathan Brachthäuser | 2016-12-21 | 1 | -8/+12 | |
| | | | | | | ||||||
| | * | | | | Cosmetique changes and fix typos | Jonathan Brachthäuser | 2016-12-21 | 1 | -14/+11 | |
| | | | | | | ||||||
| | * | | | | Remove tex comment | Jonathan Brachthäuser | 2016-12-21 | 1 | -1/+1 | |
| | | | | | | ||||||
| | * | | | | Fill in definitions from 2.12 | Jonathan Brachthäuser | 2016-12-21 | 1 | -8/+11 | |
| | | | | | | ||||||
| | * | | | | Fix typos, remove unused defs, adopt hexNumeral to 2.12 grammar | Jonathan Brachthäuser | 2016-12-21 | 1 | -3/+2 | |
| | | | | | | ||||||
| | * | | | | Replace tex code in the same way as the scala 2.12 syntax doc | Jonathan Brachthäuser | 2016-12-21 | 1 | -11/+13 | |
| | | | | | | ||||||
| | * | | | | Split into sections | Jonathan Brachthäuser | 2016-12-21 | 1 | -0/+13 | |
| | | | | | | ||||||
| | * | | | | Change quoting of terminals | Jonathan Brachthäuser | 2016-12-21 | 1 | -176/+177 | |
| | | | | | | ||||||
| | * | | | | Remove tree annotations | Jonathan Brachthäuser | 2016-12-21 | 1 | -90/+90 | |
| | | | | | | ||||||
| | * | | | | dedent | Jonathan Brachthäuser | 2016-12-21 | 1 | -308/+308 | |
| | | | | | | ||||||
| | * | | | | Replace tex headers by markdown headers | Jonathan Brachthäuser | 2016-12-21 | 1 | -8/+10 | |
| | | | | | | ||||||
| | * | | | | Add markdown header | Jonathan Brachthäuser | 2016-12-21 | 1 | -5/+15 | |
| | | | | | | ||||||
| | * | | | | Start with tex-based syntax description | Jonathan Brachthäuser | 2016-12-21 | 1 | -0/+327 | |
| | | |/ / | |/| | | ||||||
| * | | | | Merge pull request #1853 from raygit/documentation-changes | odersky | 2016-12-25 | 1 | -14/+14 | |
| |\ \ \ \ | |_|/ / |/| | | | Minor change to have proper markdowns | |||||
| | * | | | Minor change to have proper markdowns | Raymond Tay | 2016-12-22 | 1 | -14/+14 | |
| |/ / / | ||||||
| * | | | Merge pull request #1851 from raygit/patch-1 | Guillaume Martres | 2016-12-22 | 1 | -2/+2 | |
| |\ \ \ | | | | | | | | | Point readers to correct file location | |||||
| | * | | | Point readers to correct file location | Raymond Tay | 2016-12-22 | 1 | -2/+2 | |
| |/ / / | ||||||
| * | | | Merge pull request #1826 from dotty-staging/fix-compile-stdlib | Guillaume Martres | 2016-12-21 | 16 | -243/+235 | |
| |\ \ \ | | | | | | | | | Make more parts of stdlib compile | |||||
| | * | | | Address reviewer comment | Martin Odersky | 2016-12-21 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Drop redundant println | Martin Odersky | 2016-12-21 | 1 | -1/+0 | |
| | | | | | ||||||
| | * | | | Tweak the way annotations are represented in desugaring | Martin Odersky | 2016-12-21 | 4 | -11/+40 | |
| | | | | | | | | | | | | | | | | | | | | | Need to be careful not to read a classfile before a compilation unit defining the annotation is entered. | |||||
| | * | | | Fiddling with widenening | Martin Odersky | 2016-12-21 | 4 | -10/+6 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Fixing two failures in stdlib having to do with widening. In both cases, a widenIfUnstable was required. One was widening too much, the other too little. | |||||
| | * | | | Fix dottydoc ast phase | Felix Mulder | 2016-12-20 | 3 | -13/+2 | |
| | | | | | ||||||
| | * | | | Reorganize blacklist along failure classes | Martin Odersky | 2016-12-20 | 2 | -15/+39 | |
| | | | | | ||||||
| | * | | | Blacklist SystemProperties again | Martin Odersky | 2016-12-20 | 2 | -2/+4 | |
| | | | | | | | | | | | | | | | | | | | | | SystemProperties leads to a dottydoc failure, so stays blacklisted for now. It does pass the normal compile-stdlib test. | |||||
| | * | | | Further massaging of stdlib-collections lists | Martin Odersky | 2016-12-20 | 2 | -34/+10 | |
| | | | | | ||||||
| | * | | | Fix subtyping of hk types with wildcard arguments | Martin Odersky | 2016-12-20 | 2 | -2/+14 | |
| | | | | | | | | | | | | | | | | | | | | | Argument comparison of hk types did not take into account that the compared types could have themselves wildcard arguments. | |||||
| | * | | | More reorgs to scala-collectons lists | Martin Odersky | 2016-12-20 | 2 | -47/+31 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | - Move non-specialized functions to whitelist - Replace `macro ???` with just `???` in scala-scala Several other consolidations | |||||
| | * | | | Add two refcheck migration warnings | Martin Odersky | 2016-12-20 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | | | | | | 1. Overriding a Java-8 concrete method now produces a migration warning under -language:Scala2, 2. Overriding a normal with a lazy val is now a migration warning instead of an error. | |||||
| | * | | | Make `msg` in testScala2Mode by-name. | Martin Odersky | 2016-12-20 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | Avoids potentially expensive string assembly operations. | |||||
| | * | | | More reshuffling of scala-collections lists | Martin Odersky | 2016-12-20 | 2 | -96/+25 | |
| | | | | | ||||||
| | * | | | Update scala-collections lists | Martin Odersky | 2016-12-20 | 2 | -9/+23 | |
| | | | | | ||||||
| | * | | | Treat Unit type specially in overloading resolution | Martin Odersky | 2016-12-20 | 1 | -1/+3 | |
| | | | | | | | | | | | | | | | | | | | | | If the expected type is Unit, any parameterless member should be considered applicable when doing overloading resolution. | |||||
| | * | | | Fix super accessor generation | Martin Odersky | 2016-12-20 | 1 | -15/+18 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We looked under the wrong signature before, which meant that we sometimes would not detect that a super accessor existed already and generate a duplicate. Observed when compiling stdlib's collection/mutable/ObservableMap.scala. | |||||
| | * | | | More lenient handling of mixed parameterless and nullary methods | Martin Odersky | 2016-12-20 | 5 | -22/+56 | |
| | | | | | | | | | | | | | | | | | | | | | When faced with a denotation that combines parameterless and nullary method definitions (toString is a common example), ignore any redundant () applications. | |||||
| | * | | | Fix typo in file name | Martin Odersky | 2016-12-20 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Blacklist scala/util/Sorting.scala (reverted from commit ↵ | Martin Odersky | 2016-12-20 | 2 | -2/+3 | |
| | | | | | | | | | | | | | | | | | b960b12887331744c9ecaeedc90054fc2e313230) | |||||
| | * | | | Don't require override for Java interface default methods | Martin Odersky | 2016-12-20 | 3 | -8/+5 | |
| | |/ / | | | | | | | | | | | | | | | | Under language:Scala2, don't require an explicit `override' when overriding default methods of Java traits. `scalac` does currently the same thing. | |||||
| * | | | Add error messages - Parsers.scala:712 (#1842) | Adam Trousdale | 2016-12-21 | 2 | -3/+25 | |
| | | | | | | | | | | | | | | | | * Add error messages - Parsers.scala:712 * Tidy up imports and formatting | |||||
| * | | | Merge pull request #1848 from dotty-staging/fix-#1795 | Guillaume Martres | 2016-12-21 | 4 | -6/+37 | |
| |\ \ \ | |/ / |/| | | Fix #1795: Avoid infinite recursion between member and asSeenFrom | |||||
| | * | | Address reviewer's comments | Martin Odersky | 2016-12-21 | 2 | -6/+5 | |
| | | | | ||||||
| | * | | Fix #1795: Avoid infinite recursion between member and asSeenFrom | Martin Odersky | 2016-12-21 | 4 | -6/+38 | |
| |/ / | ||||||
| * | | Merge pull request #1832 from dotty-staging/fix-1810 | odersky | 2016-12-20 | 3 | -7/+40 | |
| |\ \ | | | | | | | 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. | |||||
| | * | | Add tests verifying that i1812 stays fixed. | Dmitry Petrashko | 2016-12-19 | 2 | -0/+23 | |
| | | | | ||||||
| | * | | 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. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |