aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix copy-paste errorMartin Odersky2016-04-031-2/+2
|
* Docs and polishing for denotation insertionsMartin Odersky2016-04-031-10/+26
| | | | | | Better organization and documentation for the way a symbol's denotations are kept in a ring. This came out of a failed attempt to optimize by adding a `prevInRun` field.
* Merge pull request #1172 from dotty-staging/compiler-docsodersky2016-04-0135-82/+345
|\ | | | | First of a series of compiler design documents
| * Drop Mode.scala from tasty_typer testMartin Odersky2016-04-011-1/+1
| | | | | | | | File was moved, it's no longer in package typer.
| * PolishingMartin Odersky2016-04-011-10/+11
| |
| * Better documentation of main classesMartin Odersky2016-04-015-3/+12
| |
| * Add linksMartin Odersky2016-04-011-6/+14
| |
| * New article: dotc's overall structureMartin Odersky2016-04-011-0/+165
| |
| * Document phasesMartin Odersky2016-04-013-50/+52
| | | | | | | | Give a one-line explanation what each phase does in Compiler.
| * Move Mode to coreMartin Odersky2016-04-0126-28/+12
| | | | | | | | | | Mode is used from a lot of low-level code, does not just reflect Typer info. So it makes more sense top to place it in the core package.
| * add syntax highlightingMartin Odersky2016-04-011-0/+4
| |
| * fix typoMartin Odersky2016-04-011-1/+1
| |
| * Fix typoMartin Odersky2016-04-011-1/+1
| |
| * Add more material to periods.mdMartin Odersky2016-04-011-1/+39
| |
| * First of a series of compiler design documentsMartin Odersky2016-04-011-0/+52
| |
* | Merge pull request #1197 from dotty-staging/debug-unpickleDmitry Petrashko2016-04-011-1/+1
|\ \ | |/ |/| Temporarily enable printing of original failure signature.
| * Temporarilly enable printing of original failure signature to debug failing ↵Martin Odersky2016-03-311-1/+1
|/ | | | builds
* Merge pull request #1061 from sjrd/switchesDmitry Petrashko2016-03-311-2/+133
|\ | | | | Fix #854: Optimize matches on primitive constants as switches.
| * Fix #854: Optimize matches on primitive constants as switches.Sébastien Doeraene2016-03-311-2/+133
| | | | | | | | | | | | | | | | This does not yet unable the checks that `@switch` verifies that the compiler was indeed able to perform the optimization. This implementation also does not support guards. A match with guards will never be optimized as a switch.
* | Merge pull request #1091 from dotty-staging/fix1089Dmitry Petrashko2016-03-314-30/+94
|\| | | | | FullParametrization: allow to have $this of ThisType.
| * FullParameterization: Fix indentation and a typo.Dmitry Petrashko2016-03-311-2/+2
| |
| * Fix #1089: Special-case local methodsDmitry Petrashko2016-03-311-16/+32
| | | | | | | | | | | | This is a simpler fix than the previous one. Local methods, cannot change `this` and do not need to go through FullParameterization.
| * Tailrec: drop support for polymorphic recursion.Dmitry Petrashko2016-03-312-3/+5
| | | | | | | | | | | | | | | | | | | | If the method that recurses over a different type arguments, if this method is specialised, it would lead to method not being tail-rec anymore. Eg: def foo[@specialized A, @specialized B]: Unit = foo[B, A]
| * FullParametrization: allow to have $this of ThisType.Dmitry Petrashko2016-03-313-15/+61
|/ | | | | | | | | TailRec methods remain members of enclosing class, it means that they can refer to methods that require this.type. It means that tailrec, unlike value classes is not allowed to widen type of $this to it's full self type. Fixes #1089
* Remove Variances.scala files accidentally leftover from #1193Guillaume Martres2016-03-312-30/+0
| | | | These files were supposed to be remove, their content are now in variances.scala
* Merge pull request #1193 from dotty-staging/fix-variancesDmitry Petrashko2016-03-313-2/+32
|\ | | | | merge variances and Variances
| * Fix build.Dmitry Petrashko2016-03-311-2/+2
| |
| * merge variances and VariancesMartin Odersky2016-03-312-0/+30
|/
* Merge pull request #1182 from dotty-staging/repl-fixesodersky2016-03-3114-63/+191
|\ | | | | Repl fixes and tests
| * Add test fileMartin Odersky2016-03-181-0/+24
| |
| * Add docs to TestREPLMartin Odersky2016-03-181-0/+8
| |
| * Move all overridable bits into Config classMartin Odersky2016-03-183-55/+60
| | | | | | | | | | | | Central config class replaces mixture of parameters and fields. The fields were in part in the wrong class, where they could not easily be overridden.
| * Add REPL testsMartin Odersky2016-03-186-1/+105
| |
| * Get rid of prompt in DriverMartin Odersky2016-03-182-2/+1
| | | | | | | | It's used only in Resident, where it should be defined.
| * Get rid of indentCodeMartin Odersky2016-03-181-16/+2
| | | | | | | | | | It messed up parsing of multi-line strings and did not seem to have a purpose. Error messages print fine without it.
| * Fix handling of imports in REPL.Martin Odersky2016-03-181-2/+2
| | | | | | | | | | They printed as raw trees which confused the REPL when wrapping subsequent liens with them.
| * Initialize context in REPLMartin Odersky2016-03-183-2/+4
| | | | | | | | | | | | | | | | This broke under the recent introduction of the JS backend, because now the context needs to be initialized before the platform can be selected. So invoking `doti` immediately gave an IllegalStateException. No big deal to fix, but it shows how sorely we are lacking REPL tests.
* | Merge pull request #1189 from dotty-staging/tasty-dotty-testsDmitry Petrashko2016-03-301-10/+78
|\ \ | | | | | | TASTY tests for src/dotty
| * | TASTY tests for src/dottyVladimirNik2016-03-241-10/+78
| | |
* | | Merge pull request #1190 from sstucki/test/varianceDmitry Petrashko2016-03-302-0/+30
|\ \ \ | | | | | | | | Add tests related to variance checking.
| * | | Add tests related to variance checking.Sandro Stucki2016-03-302-0/+30
|/ / /
* | | Merge pull request #1104 from dotty-staging/spec-bugsDmitry Petrashko2016-03-245-8/+40
|\ \ \ | |/ / |/| | Improvements & bugs that were discovered while implementing specialization.
| * | Add a test that checks that no useless forwarders are being created.Dmitry Petrashko2016-03-151-0/+17
| | |
| * | Mixin: create less forwarders.Dmitry Petrashko2016-03-151-4/+14
| | | | | | | | | | | | | | | | | | | | | | | | There were two sources of inefficiency in previous scheme: - if symbol was no overriding anything the forwarder was still being created - the class that is will have the forwarder was not considered. Many methods do not require forwarders as JVM will dispatch correctly.
| * | Change name of DropEmptyCompanions from dropEmpty to dropEmptyCompanionsDmitry Petrashko2016-03-151-1/+1
| | | | | | | | | | | | | | | dropEmpty is not as clear, as it does not indicate what it drops. Additionally makes phaseName by in sync with class name.
| * | Memoize: perform required tree adaptation in setter.Dmitry Petrashko2016-03-151-2/+7
| | | | | | | | | | | | Otherwise can create trees that do not pas Ycheck.
| * | Erasure: no need to bridge paramaccessors.Dmitry Petrashko2016-03-151-1/+1
| | | | | | | | | | | | Just like normal accessors.
* | | Merge pull request #1180 from niktrop/dotc-settings-formatDmitry Petrashko2016-03-221-4/+6
|\ \ \ | | | | | | | | dotc settings: String options after settings with colon shouldn't be ignored
| * | | String options with choices should be followed by colon and argument without ↵Nikolay.Tropin2016-03-181-4/+6
| | | | | | | | | | | | | | | | | | | | | | | | whitespace Format of some of the compiler settings was incompatible with scalac. For example "-target:jvm-1.8" is a valid argument for scalac, but it should be "-target: jvm-1.8" (with a whitespace) for dotc.
* | | | Merge pull request #1184 from liufengyun/error-posodersky2016-03-222-2/+6
|\ \ \ \ | | | | | | | | | | better positioning of `_*` not last argument error