From a723ebd0607bd520eea517732e5f05ef292456d5 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Mon, 29 May 2017 11:17:30 +0200 Subject: [PATCH] Capitalize Dotty in docs --- docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md | 2 +- docs/blog/_posts/2016-01-02-new-year-resolutions.md | 6 +++--- docs/blog/_posts/2016-02-03-essence-of-scala.md | 2 +- docs/blog/_posts/2016-02-17-scaling-dot-soundness.md | 4 ++-- docs/blog/_posts/2016-12-05-implicit-function-types.md | 6 +++--- docs/docs/contributing/backend.md | 8 ++++---- docs/docs/contributing/intellij-idea.md | 2 +- docs/docs/internals/classpaths.md | 2 +- docs/docs/usage/cbt-projects.md | 2 +- docs/docs/usage/dottydoc.md | 2 +- 10 files changed, 18 insertions(+), 18 deletions(-) diff --git a/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md b/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md index cfa8e5712947..7eccb4a2b5c0 100644 --- a/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md +++ b/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md @@ -29,7 +29,7 @@ fine, yet gets translated to something subtly wrong by the compiler. Having the compiler compile itself is a good test to demonstrate that the generated code has reached a certain level of quality. Not only is -a compiler a large program (44k lines in the case of dotty), it is +a compiler a large program (44k lines in the case of Dotty), it is also one that exercises a large part of the language in quite intricate ways. Moreover, bugs in the code of a compiler don't tend to go unnoticed, precisely because every part of a compiler feeds into diff --git a/docs/blog/_posts/2016-01-02-new-year-resolutions.md b/docs/blog/_posts/2016-01-02-new-year-resolutions.md index 1711fdfec85d..b06ddb906bfc 100644 --- a/docs/blog/_posts/2016-01-02-new-year-resolutions.md +++ b/docs/blog/_posts/2016-01-02-new-year-resolutions.md @@ -11,14 +11,14 @@ there are a couple of things where I would like to do better in 2016 than in 2015. The first is that I would like to do more blogging and writing in general. I have been pretty silent for most of the last year. This was mostly caused by the fact that I had been heads down to -work on DOT, Scala's foundations, and _dotty_, the new Scala compiler +work on DOT, Scala's foundations, and _Dotty_, the new Scala compiler platform we are working on. It's been a lot of work, but we are finally getting good results. DOT now has a mechanized proof of type soundness -and the dotty compiler [can now compile +and the Dotty compiler [can now compile itself](http://www.scala-lang.org/blog/2015/10/23/dotty-compiler-bootstraps.html) as well as large parts of Scala's standard library. -The dotty compiler has a completely new and quite unusual +The Dotty compiler has a completely new and quite unusual architecture, which makes it resemble a functional database or a functional reactive program. My [talk at the JVM language summit](https://www.youtube.com/watch?v=WxyyJyB_Ssc) gives an diff --git a/docs/blog/_posts/2016-02-03-essence-of-scala.md b/docs/blog/_posts/2016-02-03-essence-of-scala.md index b7100b86e9d2..f36f41a7d6ce 100644 --- a/docs/blog/_posts/2016-02-03-essence-of-scala.md +++ b/docs/blog/_posts/2016-02-03-essence-of-scala.md @@ -131,7 +131,7 @@ project are important. wildcard parameters `[_ <: T]`, `[_ >: T]` should be. 3. DOT also provides a blueprint for Scala compilation. The new Scala - compiler _dotty_ has internal data structures that closely resemble DOT. + compiler _Dotty_ has internal data structures that closely resemble DOT. In particular, type parameters are immediately mapped to type members, in the way we propose to encode them also in the calculus. diff --git a/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md b/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md index e7f88fea17e1..4d1806a7b7d5 100644 --- a/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md +++ b/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md @@ -70,7 +70,7 @@ categories: We can in fact construct soundness issues in all of these cases. Look at the discussion for issues [#50](https://github.com/lampepfl/dotty/issues/50) and [#1050](https://github.com/lampepfl/dotty/issues/1050) in the -[dotty](https://github.com/lampepfl/dotty/issues/1050) repository +[Dotty](https://github.com/lampepfl/dotty/issues/1050) repository on GitHub. All issues work fundamentally in the same way: Construct a type `S` which has a type member `T` with bad bounds, say @@ -138,7 +138,7 @@ arithmetic. To ease the transition, we will continue for a while to allow unrestricted type projections under a flag, even though they are potentially -unsound. In the current dotty compiler, that flag is a language import +unsound. In the current Dotty compiler, that flag is a language import `-language:Scala2`, but it could be something different for other compilers, e.g. `-unsafe`. Maybe we can find rules that are less restrictive than the ones we have now, and are still sound. But one diff --git a/docs/blog/_posts/2016-12-05-implicit-function-types.md b/docs/blog/_posts/2016-12-05-implicit-function-types.md index 462a66a01301..52bcf61a7cda 100644 --- a/docs/blog/_posts/2016-12-05-implicit-function-types.md +++ b/docs/blog/_posts/2016-12-05-implicit-function-types.md @@ -53,7 +53,7 @@ scenarios where plain parameters would be too cumbersome. For instance, type classes would be a lot less popular if one would have to pass all dictionaries by hand. Implicit parameters are also very useful as a general context passing mechanism. For instance in the -_dotty_ compiler, almost every function takes an implicit context +_Dotty_ compiler, almost every function takes an implicit context parameter which defines all elements relating to the current state of the compilation. This is in my experience much better than the cake pattern because it is lightweight and can express context changes in a @@ -151,7 +151,7 @@ implicit parameter: A three-times repetition might not look so bad here, but it certainly smells of boilerplate. In real-sized projects, this can get much worse. -For instance, the _dotty_ compiler uses implicit abstraction +For instance, the _Dotty_ compiler uses implicit abstraction over contexts for most of its parts. Consequently it ends up with currently no fewer than 2641 occurrences of the text string @@ -180,7 +180,7 @@ type of `f1` is: Just like the normal function type syntax `A => B`, desugars to `scala.Function1[A, B]` the implicit function type syntax `implicit A => B` desugars to `scala.ImplicitFunction1[A, B]`. -The same holds at other function arities. With dotty's [pull request #1758](https://github.com/lampepfl/dotty/pull/1758) +The same holds at other function arities. With Dotty's [pull request #1758](https://github.com/lampepfl/dotty/pull/1758) merged there is no longer an upper limit of 22 for such functions. The type `ImplicitFunction1` can be thought of being defined as follows: diff --git a/docs/docs/contributing/backend.md b/docs/docs/contributing/backend.md index 53243c5d0522..a25b20aa306f 100644 --- a/docs/docs/contributing/backend.md +++ b/docs/docs/contributing/backend.md @@ -8,7 +8,7 @@ lives at > https://github.com/lampepfl/scala/tree/sharing-backend -The dotty source tree contains a git submodule in the directory +The Dotty source tree contains a git submodule in the directory [scala-backend](https://github.com/lampepfl/dotty/tree/master/scala-backend) that points to this fork. We do not compile every file in this submodule, instead we add the subset of files we need to the dotty-compiler project in the @@ -60,8 +60,8 @@ $ cd .. ``` Once your PR has been merged into the backend, you'll need to make another PR -against dotty itself to update the backend, the following commands should be run -in the root dotty repository, not in the submodule: +against Dotty itself to update the backend, the following commands should be run +in the root Dotty repository, not in the submodule: ``` shell # The --remote option will update the submodule to the latest commit in the @@ -69,5 +69,5 @@ in the root dotty repository, not in the submodule: git submodule update --init --remote git commit -am "Update backend to include ..." -# Then push and make a PR against dotty as usual +# Then push and make a PR against Dotty as usual ``` diff --git a/docs/docs/contributing/intellij-idea.md b/docs/docs/contributing/intellij-idea.md index 83ec865f7c89..c86e9749aba2 100644 --- a/docs/docs/contributing/intellij-idea.md +++ b/docs/docs/contributing/intellij-idea.md @@ -8,7 +8,7 @@ Setup You can setup IntelliJ [IDEA >= 2016.1](https://www.jetbrains.com/idea/nextversion) to run Dotty. -Assuming you have cloned dotty's repository from Github (and run `sbt managedSources` as described in [Getting Started](getting-started.md)), +Assuming you have cloned Dotty's repository from Github (and run `sbt managedSources` as described in [Getting Started](getting-started.md)), you can now proceed with importing it to IDEA by selecting the corresponding option from the startup menu. Navigate on the corresponding directory and select it. Next, you need to select the model of the import and as the screenshot shows, select SBT. diff --git a/docs/docs/internals/classpaths.md b/docs/docs/internals/classpaths.md index 1a137c1ea660..4e504674cb5f 100644 --- a/docs/docs/internals/classpaths.md +++ b/docs/docs/internals/classpaths.md @@ -43,5 +43,5 @@ file:/usr/lib/jvm/java-7-oracle/jre/lib/ext/sunpkcs11.jar:file:/usr/lib/jvm/java ===================================================== ``` Since scala/dotty only pick up `java.class.path` and `sun.boot.class.path`, -it's clear why dotty crashes in sbt and Eclipse unless we set the boot +it's clear why Dotty crashes in sbt and Eclipse unless we set the boot classpath explicitly. diff --git a/docs/docs/usage/cbt-projects.md b/docs/docs/usage/cbt-projects.md index d4915fe39257..2459a29e3ed6 100644 --- a/docs/docs/usage/cbt-projects.md +++ b/docs/docs/usage/cbt-projects.md @@ -3,7 +3,7 @@ layout: doc-page title: "Using Dotty with cbt" --- -cbt comes with built-in dotty support. Follow the +cbt comes with built-in Dotty support. Follow the [cbt tutorial](https://github.com/cvogt/cbt/), then simply extend `Dotty` in the Build class. ```scala diff --git a/docs/docs/usage/dottydoc.md b/docs/docs/usage/dottydoc.md index d064cb5ca68c..64d0bda3ba1c 100644 --- a/docs/docs/usage/dottydoc.md +++ b/docs/docs/usage/dottydoc.md @@ -256,5 +256,5 @@ A blog page uses files placed in `./blog/_posts/` as input to render a blog. Default Includes ================ -* `scala-logo.svg`: the scala in dotty version as svg +* `scala-logo.svg`: the scala in Dotty version as svg * `toc.html`: the default table of contents template