diff --git a/README.md b/README.md
index 92f6f862596a..23a2977bee46 100644
--- a/README.md
+++ b/README.md
@@ -3,13 +3,14 @@ Dotty
[](http://dotty-ci.epfl.ch/lampepfl/dotty)
[](https://gitter.im/lampepfl/dotty?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
[](https://github.com/lampepfl/dotty-knowledge/issues/new/choose)
+[](https://travis-ci.org/nicolasstucki/dotty-website-linkcheck)
* [Homepage](http://dotty.epfl.ch)
-* [Documentation](http://dotty.epfl.ch/docs)
+* [Documentation](https://dotty.epfl.ch/docs)
Try it out
==========
-To try it in your project see also the [Getting Started User Guide](http://dotty.epfl.ch/#getting-started).
+To try it in your project see also the [Getting Started User Guide](https://dotty.epfl.ch/#getting-started).
Code of Conduct
===============
@@ -19,7 +20,7 @@ other more direct lines of communication such as email.
How to Contribute
=================
-* [Getting Started as Contributor](http://dotty.epfl.ch/docs/contributing/getting-started.html)
+* [Getting Started as Contributor](https://dotty.epfl.ch/docs/contributing/getting-started.html)
* [Awesome Error Messages](http://scala-lang.org/blog/2016/10/14/dotty-errors.html)
* [Issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22)
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
index b0582dd855db..8c93999f851b 100644
--- a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
+++ b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala
@@ -159,7 +159,7 @@ class ScalaSettings extends Settings.SettingGroup {
//.withPostSetHook( _ => YprofileEnabled.value = true )
// Extremely experimental language features
- val YnoKindPolymorphism: Setting[Boolean] = BooleanSetting("-Yno-kind-polymorphism", "Enable kind polymorphism (see http://dotty.epfl.ch/docs/reference/kind-polymorphism.html). Potentially unsound.")
+ val YnoKindPolymorphism: Setting[Boolean] = BooleanSetting("-Yno-kind-polymorphism", "Enable kind polymorphism (see https://dotty.epfl.ch/docs/reference/kind-polymorphism.html). Potentially unsound.")
/** Area-specific debug output */
val YexplainLowlevel: Setting[Boolean] = BooleanSetting("-Yexplain-lowlevel", "When explaining type errors, show types at a lower level.")
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
index ebe24cdaa395..ee5e05f8f638 100644
--- a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
+++ b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -2035,7 +2035,7 @@ object Parsers {
// since we want to be able to compile the standard library.
if (call `ne` nme.???)
syntaxError(
- "Scala 2 macros are not supported, see http://dotty.epfl.ch/docs/reference/dropped-features/macros.html",
+ "Scala 2 macros are not supported, see https://dotty.epfl.ch/docs/reference/dropped-features/macros.html",
start)
unimplementedExpr
case COLONEOL =>
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
index 54738b63a113..33170ef46278 100644
--- a/compiler/src/dotty/tools/dotc/typer/Typer.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2757,14 +2757,14 @@ class Typer extends Namer
readaptSimplified(Inliner.inlineCall(newCall))
}
else if (ctx.settings.XignoreScala2Macros.value) {
- ctx.warning("Scala 2 macro cannot be used in Dotty, this call will crash at runtime. See http://dotty.epfl.ch/docs/reference/dropped-features/macros.html", tree.sourcePos.startPos)
+ ctx.warning("Scala 2 macro cannot be used in Dotty, this call will crash at runtime. See https://dotty.epfl.ch/docs/reference/dropped-features/macros.html", tree.sourcePos.startPos)
Throw(New(defn.MatchErrorClass.typeRef, Literal(Constant(s"Reached unexpanded Scala 2 macro call to ${tree.symbol.showFullName} compiled with -Xignore-scala2-macros.")) :: Nil))
.withType(tree.tpe)
.withSpan(tree.span)
}
else {
ctx.error(
- """Scala 2 macro cannot be used in Dotty. See http://dotty.epfl.ch/docs/reference/dropped-features/macros.html\n"
+ """Scala 2 macro cannot be used in Dotty. See https://dotty.epfl.ch/docs/reference/dropped-features/macros.html\n"
|To turn this error into a warning, pass -Xignore-scala2-macros to the compiler""".stripMargin, tree.sourcePos.startPos)
tree
}
diff --git a/docs/_includes/features.html b/docs/_includes/features.html
index 218507f5ff7a..e20836375eb4 100644
--- a/docs/_includes/features.html
+++ b/docs/_includes/features.html
@@ -9,11 +9,11 @@ So, features?
- | Intersection Types |
+ Intersection Types |
Implemented |
- | Union Types |
+ Union Types |
Implemented |
@@ -21,7 +21,7 @@ So, features?
Implemented |
- | Context query |
+ Context query |
Implemented |
@@ -65,19 +65,19 @@ So, features?
Implemented |
- | SBT incremental build |
+ SBT incremental build |
Implemented |
- | Option-less pattern matching |
+ Option-less pattern matching |
Implemented |
- | Multiversal equality |
+ Multiversal equality |
Implemented |
- | Erased Terms |
+ Erased Terms |
Implemented |
@@ -101,7 +101,7 @@ So, features?
Considered |
- | and many more, check the overview page for a comprehensive list |
+ and many more, check the overview page for a comprehensive list |
|
@@ -112,7 +112,7 @@ Talks on Dotty?
Scala's Road Ahead by Martin Odersky (slides)
Compilers are Databases by Martin Odersky (slides)
Exploring the future of Scala by Dmitry Petrashko (slides)
- Deep Dive with Dotty
+ Deep Dive with Dotty
I have more questions!
diff --git a/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md b/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md
index e33044729665..f8a87c23767f 100644
--- a/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md
@@ -20,7 +20,7 @@ is slated to become Scala 3.0. This is an ongoing development,
transparently developed as open source software. The Dotty project
started more than 4 years ago. It reached a major milestone in 2015 by
achieving
-[bootstrap](http://dotty.epfl.ch/blog/2015/10/23/dotty-compiler-bootstraps.html),
+[bootstrap](https://dotty.epfl.ch/blog/2015/10/23/dotty-compiler-bootstraps.html),
that is, showing that the new compiler could compile itself. Today we
have reached another milestone with this first release of the
codebase. Developments will not stop here, but they will in the future
@@ -63,19 +63,19 @@ You can try it out there without installing anything.
# What’s in the 0.1.2-RC1 technology preview?
This technology preview demonstrates new language features planned for Scala 3:
- - [Intersection Types](http://dotty.epfl.ch/docs/reference/intersection-types.html)
- - [Union Types](http://dotty.epfl.ch/docs/reference/union-types.html)
- - [Trait Parameters](http://dotty.epfl.ch/docs/reference/trait-parameters.html)
- - [Enumerations](http://dotty.epfl.ch/docs/reference/enums/enums.html)
- - [Algebraic Data Types](http://dotty.epfl.ch/docs/reference/enums/adts.html)
- - [By-Name Implicits](http://dotty.epfl.ch/docs/reference/implicit-by-name-parameters.html)
+ - [Intersection Types](https://dotty.epfl.ch/docs/reference/intersection-types.html)
+ - [Union Types](https://dotty.epfl.ch/docs/reference/union-types.html)
+ - [Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html)
+ - [Enumerations](https://dotty.epfl.ch/docs/reference/enums/enums.html)
+ - [Algebraic Data Types](https://dotty.epfl.ch/docs/reference/enums/adts.html)
+ - [By-Name Implicits](https://dotty.epfl.ch/docs/reference/implicit-by-name-parameters.html)
We also ship with tools that help you try out the Dotty platform:
- - [IDE features for Visual Studio Code](http://dotty.epfl.ch/docs/usage/ide-support.html)
+ - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html)
- [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project)
-See here for the full [release notes](http://dotty.epfl.ch/docs/release-notes/0.1.2.html).
+See here for the full [release notes](https://dotty.epfl.ch/docs/release-notes/0.1.2.html).
## Release schedule
@@ -86,7 +86,7 @@ Starting from this release, we are adopting a time-based release schedule:
- Every 6 weeks, the latest release candidate becomes a release.
At the end of 6 weeks, the milestone will be promoted to a stable release.
-See here for the full [version number explanation](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+See here for the full [version number explanation](https://dotty.epfl.ch/docs/usage/version-numbers.html).
## What are the next steps?
diff --git a/docs/blog/_posts/2017-07-12-second-dotty-milestone-release.md b/docs/blog/_posts/2017-07-12-second-dotty-milestone-release.md
index e0ba6498fc08..274c02d2f8b1 100644
--- a/docs/blog/_posts/2017-07-12-second-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-07-12-second-dotty-milestone-release.md
@@ -21,16 +21,16 @@ The highlights of this release are:
-This is our second scheduled release according to our [6-week release schedule](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+This is our second scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
## What’s in the 0.2.0-RC1 technology preview?
The [previous technology preview](/blog/2017/05/31/first-dotty-milestone-release.html) has shipped new language features planned for Scala 3:
-[Intersection Types](http://dotty.epfl.ch/docs/reference/intersection-types.html),
-[Union Types](http://dotty.epfl.ch/docs/reference/union-types.html),
-[Trait Parameters](http://dotty.epfl.ch/docs/reference/trait-parameters.html),
-[Enumerations](http://dotty.epfl.ch/docs/reference/enums/enums.html),
-[Algebraic Data Types](http://dotty.epfl.ch/docs/reference/enums/adts.html),
-[By-Name Implicits](http://dotty.epfl.ch/docs/reference/implicit-by-name-parameters.html).
+[Intersection Types](https://dotty.epfl.ch/docs/reference/intersection-types.html),
+[Union Types](https://dotty.epfl.ch/docs/reference/union-types.html),
+[Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html),
+[Enumerations](https://dotty.epfl.ch/docs/reference/enums/enums.html),
+[Algebraic Data Types](https://dotty.epfl.ch/docs/reference/enums/adts.html),
+[By-Name Implicits](https://dotty.epfl.ch/docs/reference/implicit-by-name-parameters.html).
This technology preview is geared towards improving stability and reliability. It includes:
@@ -291,7 +291,7 @@ good the code generated by the Dotty Linker with global analysis disabled:
## How can you try it out?
We ship with tools that help you try out the Dotty platform:
- - [IDE features for Visual Studio Code](http://dotty.epfl.ch/docs/usage/ide-support.html)
+ - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html)
- [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project)
diff --git a/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md b/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
index ed4b9bed4523..52704c1264a7 100644
--- a/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
@@ -19,7 +19,7 @@ You can learn more about Dotty on our [website](http://dotty.epfl.ch).
-This is our third scheduled release according to our [6-week release schedule](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+This is our third scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
The [previous technology preview](/blog/2017/07/12/second-dotty-milestone-release.html) improved
stability and reliability:
@@ -44,7 +44,7 @@ This technology preview further improves stability and reliability. Some highlig
## How can you try it out?
We ship with tools that help you try out the Dotty platform:
- - [IDE features for Visual Studio Code](http://dotty.epfl.ch/docs/usage/ide-support.html)
+ - [IDE features for Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html)
- [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project)
@@ -120,7 +120,7 @@ According to `git shortlog -sn --no-merges 0.2.0-RC1..0.3.0-RC2` these are:
```
If you want to get your hands dirty with any of this, now is a good moment to get involved!
-You can have a look at our [Getting Started page](http://dotty.epfl.ch/docs/contributing/getting-started.html),
+You can have a look at our [Getting Started page](https://dotty.epfl.ch/docs/contributing/getting-started.html),
our [Awesome Error Messages](http://scala-lang.org/blog/2016/10/14/dotty-errors.html) or some of
the simple [Dotty issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3Aexp%3Anovice).
They make perfect entry-points into hacking on the compiler.
diff --git a/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md b/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
index d58398bb7fe4..743f97e1a59a 100644
--- a/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
@@ -19,7 +19,7 @@ You can learn more about Dotty on our [website](http://dotty.epfl.ch).
-This is our fourth scheduled release according to our [6-week release schedule](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+This is our fourth scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
The [previous technology preview](/blog/2017/09/07/third-dotty-milestone-release.html) improved
stability and reliability.
@@ -36,7 +36,7 @@ The [new REPL](https://github.com/lampepfl/dotty/pull/2991) instead works by
manipulating ASTs (Abstract Syntax Trees), this is more robust and will make it
easier to develop new features: we have already implemented auto-completion
support (by reusing the APIs we had created for
-the [Dotty IDE](http://dotty.epfl.ch/docs/usage/ide-support.html)) and we have
+the [Dotty IDE](https://dotty.epfl.ch/docs/usage/ide-support.html)) and we have
plans for displaying API documentation in the REPL.
Note that the user interface of the REPL has not changed: like in the old REPL
@@ -77,7 +77,7 @@ using Dotty with sbt, see the
### IDE support
It is very easy to start using the Dotty IDE in any Dotty project by following
-the [IDE guide](http://dotty.epfl.ch/docs/usage/ide-support.html).
+the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html).
### Standalone installation
@@ -130,7 +130,7 @@ According to `git shortlog -sn --no-merges 0.3.0-RC2..0.4.0-RC1` these are:
```
If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved!
-You can have a look at our [Getting Started page for new contributors](http://dotty.epfl.ch/docs/contributing/getting-started.html),
+You can have a look at our [Getting Started page for new contributors](https://dotty.epfl.ch/docs/contributing/getting-started.html),
the [Awesome Error Messages](http://scala-lang.org/blog/2016/10/14/dotty-errors.html) project or some of
the simple [Dotty issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3Aexp%3Anovice).
They make perfect entry-points into hacking on the compiler.
diff --git a/docs/blog/_posts/2017-12-01-fifth-dotty-milestone-release.md b/docs/blog/_posts/2017-12-01-fifth-dotty-milestone-release.md
index ee9b883c7af5..e942484dd9ec 100644
--- a/docs/blog/_posts/2017-12-01-fifth-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-12-01-fifth-dotty-milestone-release.md
@@ -19,7 +19,7 @@ You can learn more about Dotty on our [website](http://dotty.epfl.ch).
-This is our fifth scheduled release according to our [6-week release schedule](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+This is our fifth scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
The [previous technology preview](/blog/2017/10/16/fourth-dotty-milestone-release.html) added
support for Scala 2.12 and came with a brand new REPL.
@@ -137,7 +137,7 @@ using Dotty with sbt, see the
### IDE support
It is very easy to start using the Dotty IDE in any Dotty project by following
-the [IDE guide](http://dotty.epfl.ch/docs/usage/ide-support.html).
+the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html).
### Standalone installation
@@ -195,7 +195,7 @@ According to `git shortlog -sn --no-merges 0.4.0-RC1..0.5.0-RC1` these are:
```
If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved!
-You can have a look at our [Getting Started page for new contributors](http://dotty.epfl.ch/docs/contributing/getting-started.html),
+You can have a look at our [Getting Started page for new contributors](https://dotty.epfl.ch/docs/contributing/getting-started.html),
the [Awesome Error Messages](http://scala-lang.org/blog/2016/10/14/dotty-errors.html) project or some of
the simple [Dotty issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3Aexp%3Anovice).
They make perfect entry-points into hacking on the compiler.
diff --git a/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md b/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
index fb58769228d9..249012d4e0d6 100644
--- a/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
+++ b/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
@@ -18,7 +18,7 @@ You can learn more about Dotty on our [website](http://dotty.epfl.ch).
-This is our seventh scheduled release according to our [6-week release schedule](http://dotty.epfl.ch/docs/usage/version-numbers.html).
+This is our seventh scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
The [previous technology preview](https://github.com/lampepfl/dotty/releases/tag/0.6.0-RC1) focussed
on bug fixes and stability work.
@@ -70,8 +70,8 @@ object Option {
```
-For more information about [Enumerations](http://dotty.epfl.ch/docs/reference/enums/enums.html)
-and how to use them to model [Algebraic Data Types](http://dotty.epfl.ch/docs/reference/enums/adts.html),
+For more information about [Enumerations](https://dotty.epfl.ch/docs/reference/enums/enums.html)
+and how to use them to model [Algebraic Data Types](https://dotty.epfl.ch/docs/reference/enums/adts.html),
visit the respective sections in our documentation.
@@ -99,7 +99,7 @@ The implicit evidence `ev` is only used to constrain the type parameter `X` of `
can safely cast from `X` to `List[_]`. The usage of the `erased` modifier ensures that the evidence
is not used and can be safely removed at compilation time.
-For more information, visit the [Erased Terms](http://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html)
+For more information, visit the [Erased Terms](https://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html)
section of our documentation.
**Note**: Erased terms replace _phantom types_: they have similar semantics, but with the added
@@ -114,7 +114,7 @@ local and imported definitions. Members completions take possible implicit conve
We also improved the `find references` functionality. It is more robust and much faster!
-Try it out in [Visual Studio Code](http://dotty.epfl.ch/docs/usage/ide-support.html)!
+Try it out in [Visual Studio Code](https://dotty.epfl.ch/docs/usage/ide-support.html)!
### Better and safer types in pattern matching (improved GADT support)
@@ -204,7 +204,7 @@ using Dotty with sbt, see the
### IDE support
It is very easy to start using the Dotty IDE in any Dotty project by following
-the [IDE guide](http://dotty.epfl.ch/docs/usage/ide-support.html).
+the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html).
### Standalone installation
@@ -254,7 +254,7 @@ According to `git shortlog -sn --no-merges 0.6.0..0.7.0-RC1` these are:
```
If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved!
-Head to our [Getting Started page for new contributors](http://dotty.epfl.ch/docs/contributing/getting-started.html),
+Head to our [Getting Started page for new contributors](https://dotty.epfl.ch/docs/contributing/getting-started.html),
and have a look at some of the [good first issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3Aexp%3Anovice).
They make perfect entry-points into hacking on the compiler.
diff --git a/docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md b/docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md
index 21ba985cd918..9e748d14c026 100644
--- a/docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md
+++ b/docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md
@@ -99,7 +99,7 @@ more important.
Starting with 1.1.5 Dotty compiler plugins can be used with `sbt`. Please refer to the `sbt`
[documentation](https://www.scala-sbt.org/1.x/docs/Compiler-Plugins.html) for more information.
-For more information, visit the [Compiler Plugin](http://dotty.epfl.ch/docs/reference/changed/compiler-plugins.html)
+For more information, visit the [Compiler Plugin](https://dotty.epfl.ch/docs/reference/changed/compiler-plugins.html)
section of our documentation.
## Trying out Dotty
diff --git a/docs/blog/_posts/2018-10-10-10th-dotty-milestone-release.md b/docs/blog/_posts/2018-10-10-10th-dotty-milestone-release.md
index c28d8e613488..e1624affdcb6 100644
--- a/docs/blog/_posts/2018-10-10-10th-dotty-milestone-release.md
+++ b/docs/blog/_posts/2018-10-10-10th-dotty-milestone-release.md
@@ -61,7 +61,7 @@ Elem[Nil] =:= Nothing
Here `=:=` is understood to mean that left and right hand sides are mutually subtypes of each other.
This feature is still experimental and subject to changes. For more information, visit the
-[Match Types](http://dotty.epfl.ch/docs/reference/match-types.html) section of our documentation.
+[Match Types](https://dotty.epfl.ch/docs/reference/match-types.html) section of our documentation.
### Documentation in the REPL
diff --git a/docs/blog/_posts/2018-11-30-11th-dotty-milestone-release.md b/docs/blog/_posts/2018-11-30-11th-dotty-milestone-release.md
index 8bc4ac2de13e..fed8c23b574a 100644
--- a/docs/blog/_posts/2018-11-30-11th-dotty-milestone-release.md
+++ b/docs/blog/_posts/2018-11-30-11th-dotty-milestone-release.md
@@ -95,7 +95,7 @@ interactive errors-as-you-type, etc.
For more information about the worksheets, see [Worksheet mode with Dotty
-IDE](http://dotty.epfl.ch/docs/usage/worksheet-mode.html)
+IDE](https://dotty.epfl.ch/docs/usage/worksheet-mode.html)
### Various IDE improvements
diff --git a/docs/blog/_posts/2019-04-15-14th-dotty-milestone-release.md b/docs/blog/_posts/2019-04-15-14th-dotty-milestone-release.md
index 1fe439eed537..1684015dc0b9 100644
--- a/docs/blog/_posts/2019-04-15-14th-dotty-milestone-release.md
+++ b/docs/blog/_posts/2019-04-15-14th-dotty-milestone-release.md
@@ -68,7 +68,7 @@ The motivation for this change is to promote composition over inheritance. In OO
With the `export` feature, making the `Copier` behave as the `Printer` and the `Scanner` became much more ergonomic. Also, note the fine-grained control over which methods are exposed in cases of the possible method collision, as shown with the `status` method example.
-For more information, please read more in the [documentation](http://dotty.epfl.ch/docs/reference/other-new-features/export.html).
+For more information, please read more in the [documentation](https://dotty.epfl.ch/docs/reference/other-new-features/export.html).
## An immutable array type
@@ -118,14 +118,14 @@ Given a function call `f(args)`,
- otherwise, if `f` is syntactically a stable identifier, and `new f` where `f` is interpreted as a type identifier is applicable to `args`, continue with `new f(args)`.
-For more information, please see the [documentation](http://dotty.epfl.ch/docs/reference/other-new-features/creator-applications.html).
+For more information, please see the [documentation](https://dotty.epfl.ch/docs/reference/other-new-features/creator-applications.html).
## Other changes
Some of the other changes include:
-- `infer` method renamed to `the`, the semantics of which is now the same as that of the `the` method of Shapeless. Namely, the implicits are resolved more precisely – see this [gist](https://gist.github.com/milessabin/8833a1dbf7e8245b30f8) for an example in Shapeless, and the Dotty [documentation](http://dotty.epfl.ch/docs/reference/contextual/given-clauses.html#querying-implied-instances) for more details.
-- The syntax of quoting and splicing was changed. Now the quoting is expressed via `'{ ... }` and `'[...]` and splicing – via `${...}` and `$id`. Please see the [documentation](http://dotty.epfl.ch/docs/reference/other-new-features/principled-meta-programming.html) for more details on these features.
+- `infer` method renamed to `the`, the semantics of which is now the same as that of the `the` method of Shapeless. Namely, the implicits are resolved more precisely – see this [gist](https://gist.github.com/milessabin/8833a1dbf7e8245b30f8) for an example in Shapeless, and the Dotty [documentation](https://dotty.epfl.ch/docs/reference/contextual/given-clauses.html#querying-implied-instances) for more details.
+- The syntax of quoting and splicing was changed. Now the quoting is expressed via `'{ ... }` and `'[...]` and splicing – via `${...}` and `$id`. Please see the [documentation](https://dotty.epfl.ch/docs/reference/other-new-features/principled-meta-programming.html) for more details on these features.
# Let us know what you think!
diff --git a/docs/blog/_posts/2019-05-23-15th-dotty-milestone-release.md b/docs/blog/_posts/2019-05-23-15th-dotty-milestone-release.md
index 62c80178be8d..2ce1e028c6db 100644
--- a/docs/blog/_posts/2019-05-23-15th-dotty-milestone-release.md
+++ b/docs/blog/_posts/2019-05-23-15th-dotty-milestone-release.md
@@ -83,7 +83,7 @@ val res3: Int = 3
To smoothen the migration, the deprecation warnings will only be emitted if you compile with the `-strict` flag under Scala 3. Alphanumeric methods that are defined without the `@infix` annotation used in an infix position will be deprecated by default starting with Scala 3.1.
-For more information, see the the [documentation](http://dotty.epfl.ch/docs/reference/changed-features/operators.html#the-infix-annotation). Note that the `@alpha` annotation also described in the documentation is planned for the future and is not available in this release.
+For more information, see the the [documentation](https://dotty.epfl.ch/docs/reference/changed-features/operators.html#the-infix-annotation). Note that the `@alpha` annotation also described in the documentation is planned for the future and is not available in this release.
## `given` clause comes last
In the previous release, you could write something like this:
@@ -147,7 +147,7 @@ The same is implemented for pattern bindings in `for` expressions:
For the migration purposes, the above change will only take effect in Scala 3.1. You can use it in Scala 3 with the `-strict` flag.
-For more information, see the [documentation](http://dotty.epfl.ch/docs/reference/changed-features/pattern-bindings.html).
+For more information, see the [documentation](https://dotty.epfl.ch/docs/reference/changed-features/pattern-bindings.html).
## Further improvements to Generalised Algebraic Data Types (GADTs) support
In this release, we've further improved our support for GADTs. Most notably, we now support variant GADTs, thus fixing [#2985](https://github.com/lampepfl/dotty/issues/2985):
diff --git a/docs/blog/_posts/2019-08-30-18th-dotty-milestone-release.md b/docs/blog/_posts/2019-08-30-18th-dotty-milestone-release.md
index 7a549d4eecc5..10efef16f391 100644
--- a/docs/blog/_posts/2019-08-30-18th-dotty-milestone-release.md
+++ b/docs/blog/_posts/2019-08-30-18th-dotty-milestone-release.md
@@ -105,7 +105,7 @@ given scala.util.FromString[Address] {
The motivation for the `@main` functions is to make Scala scripting friendly. So far we do not plan to support something more complex than the above – we believe if a user needs a complex command line parsing capability, they can always fall back to the conventional `def main(args: Array[String])` syntax plus a dedicated library like [scopt](https://github.com/scopt/scopt). The changes described above, however, are already enough to make script development much less tedious than before.
-To learn more, see the [documentation](http://dotty.epfl.ch/docs/reference/changed-features/main-functions.html).
+To learn more, see the [documentation](https://dotty.epfl.ch/docs/reference/changed-features/main-functions.html).
## Allow infix operators at the start of the line
A small change yet relevant to many. Now, you can write the following code:
@@ -251,7 +251,7 @@ given as FromDigits[Digits] = (digits: String) => Digits(digits.toList)
If a number is written in place where a non-numeric type is expected and there is an `FromDigits` given in scope, this given will be used to convert the number (presented as `String`) to that type.
-For precise rules, semantics and a larger example of `BigFloat`, see [the documentation](http://dotty.epfl.ch/docs/reference/changed-features/numeric-literals.html).
+For precise rules, semantics and a larger example of `BigFloat`, see [the documentation](https://dotty.epfl.ch/docs/reference/changed-features/numeric-literals.html).
## Metaprogramming Progress
We are making steady progress with the language metaprogramming features. The metaprogramming spotlights of this release are as follows:
@@ -265,13 +265,13 @@ We are making steady progress with the language metaprogramming features. The me
- Runtime staging factored out to a separate library in [#7080](https://github.com/lampepfl/dotty/pull/7080).
## Type class Derivation
-Type class derivation has received a major rework and an [updated documentation](http://dotty.epfl.ch/docs/reference/contextual/derivation.html). We have dropped the usage of the `Shape` type to describe the shape of a type. Instead, all the relevant information is now encoded in the `Mirror` type and its subtypes as tuples.
+Type class derivation has received a major rework and an [updated documentation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html). We have dropped the usage of the `Shape` type to describe the shape of a type. Instead, all the relevant information is now encoded in the `Mirror` type and its subtypes as tuples.
-For more information, see the [documentation](http://dotty.epfl.ch/docs/reference/contextual/derivation.html).
+For more information, see the [documentation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html).
## Other
- This release also features the new version of the SBT Dotty Plugin – 0.3.4. It contains some bug fixes – see [#7120](https://github.com/lampepfl/dotty/pull/7120) for details.
-- Scala Days 2019 talks related to Dotty are now [mentioned](http://dotty.epfl.ch/docs/resources/talks.html) at our website – this allows to systematize the knowledge about the next generation of Scala in one place – see [#6984](https://github.com/lampepfl/dotty/pull/6984).
+- Scala Days 2019 talks related to Dotty are now [mentioned](https://dotty.epfl.ch/docs/resources/talks.html) at our website – this allows to systematize the knowledge about the next generation of Scala in one place – see [#6984](https://github.com/lampepfl/dotty/pull/6984).
- ScalaJS needs your help! We would like to have robust support for ScalaJS in Dotty, which unfortunately is not the case so far. If you are interested in contributing, please see [the getting started tutorial](https://gist.github.com/sjrd/e0823a5bddbcef43999cdaa032b1220c) and [the discussion](https://github.com/lampepfl/dotty/issues/7113).
# Let us know what you think!
diff --git a/docs/docs/contributing/workflow.md b/docs/docs/contributing/workflow.md
index 6c6af36488e3..f847cb708be0 100644
--- a/docs/docs/contributing/workflow.md
+++ b/docs/docs/contributing/workflow.md
@@ -25,7 +25,7 @@ Here are some useful debugging ``:
* `-Xprint:PHASE1,PHASE2,...` or `-Xprint:all`: prints the `AST` after each
specified phase. Phase names can be found by examining the
- `dotty.tools.dotc.transform.*` classes for their `phaseName` field e.g., `-Xprint:erasure`.
+ `dotty.tools.dotc.transform.*` classes for their `phaseName` field e.g., `-Xprint:erasure`.
You can discover all phases in the `dotty.tools.dotc.Compiler` class
* `-Ylog:PHASE1,PHASE2,...` or `-Ylog:all`: enables `ctx.log("")` logging for
the specified phase.
@@ -33,7 +33,7 @@ Here are some useful debugging ``:
particular checks that types do not change. Some phases currently can't be
`Ycheck`ed, therefore in the tests we run:
`-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef`.
-* the last frontier of debugging (before actual debugging) is the range of logging capabilities that
+* the last frontier of debugging (before actual debugging) is the range of logging capabilities that
can be enabled through the `dotty.tools.dotc.config.Printers` object. Change any of the desired printer from `noPrinter` to
`default` and this will give you the full logging capability of the compiler.
@@ -43,7 +43,7 @@ There is no power mode for the REPL yet, but you can inspect types with the
type stealer:
```bash
-$ sbt
+$ sbt
> repl
scala> import dotty.tools.DottyTypeStealer._; import dotty.tools.dotc.core._; import Contexts._,Types._
```
@@ -65,7 +65,7 @@ Many objects in the dotc compiler implement a `Showable` trait (e.g. `Tree`,
method
## SBT Commands Cheat Sheet ##
-The basics of working with Dotty codebase are documented [here](http://dotty.epfl.ch/docs/contributing/getting-started.html) and [here](http://dotty.epfl.ch/docs/contributing/workflow.html). Below is a cheat sheet of some frequently used commands (to be used from SBT console – `sbt`).
+The basics of working with Dotty codebase are documented [here](https://dotty.epfl.ch/docs/contributing/getting-started.html) and [here](https://dotty.epfl.ch/docs/contributing/workflow.html). Below is a cheat sheet of some frequently used commands (to be used from SBT console – `sbt`).
| Command | Description |
diff --git a/docs/docs/reference/changed-features/wildcards.md b/docs/docs/reference/changed-features/wildcards.md
index 1780f6b38ca7..882941b0d549 100644
--- a/docs/docs/reference/changed-features/wildcards.md
+++ b/docs/docs/reference/changed-features/wildcards.md
@@ -21,7 +21,7 @@ We pick `?` as a replacement syntax for wildcard types, since it aligns with Jav
### Migration Strategy
-The migration to the new scheme is complicated, in particular since the [kind projector](https://github.com/typelevel/kind-projector])
+The migration to the new scheme is complicated, in particular since the [kind projector](https://github.com/typelevel/kind-projector)
compiler plugin still uses the reverse convention, with `?` meaning parameter placeholder instead of wildcard. Fortunately, kind projector has added `*` as an alternative syntax for `?`.
A step-by-step migration is made possible with the following measures:
diff --git a/docs/docs/reference/other-new-features/tupled-function.md b/docs/docs/reference/other-new-features/tupled-function.md
index d3e6f0df8cb2..42bc40d07a05 100644
--- a/docs/docs/reference/other-new-features/tupled-function.md
+++ b/docs/docs/reference/other-new-features/tupled-function.md
@@ -6,8 +6,8 @@ title: "Tupled Function"
Tupled Function
----------------------
-With functions bounded to arities up to 22 it was possible to generalize some operation on all function types using overloading.
-Now that we have functions and tuples generalized to [arities above 22](../dropped-features/limit22.md) overloading is not an option anymore.
+With functions bounded to arities up to 22 it was possible to generalize some operation on all function types using overloading.
+Now that we have functions and tuples generalized to [arities above 22](../dropped-features/limit22.md) overloading is not an option anymore.
The type class `TupleFunction` provides a way to abstract directly over a function of any arity converting it to an equivalent function that receives all arguments in a single tuple.
```scala
@@ -33,7 +33,7 @@ The compiler will synthesize an instance of `TupledFunction[F, G]` if:
Examples
--------
-`TupledFunction` can be used to generalize the `Function1.tupled`, ... `Function22.tupled` methods to functions of any arities ([full example](https://github.com/lampepfl/dotty/tests/run/tupled-function-tupled.scala))
+`TupledFunction` can be used to generalize the `Function1.tupled`, ... `Function22.tupled` methods to functions of any arities ([full example](https://github.com/lampepfl/dotty/blob/master/tests/run/tupled-function-tupled.scala))
```scala
/** Creates a tupled version of this function: instead of N arguments,
@@ -46,7 +46,7 @@ Examples
def (f: F) tupled[F, Args <: Tuple, R] given (tf: TupledFunction[F, Args => R]): Args => R = tf.tupled(f)
```
-`TupledFunction` can be used to generalize the `Function.untupled` methods to functions of any arities ([full example](https://github.com/lampepfl/dotty/tests/run/tupled-function-untupled.scala))
+`TupledFunction` can be used to generalize the `Function.untupled` methods to functions of any arities ([full example](https://github.com/lampepfl/dotty/blob/master/tests/run/tupled-function-untupled.scala))
```scala
/** Creates an untupled version of this function: instead of single [[scala.Tuple]] argument,
@@ -61,7 +61,7 @@ def (f: F) tupled[F, Args <: Tuple, R] given (tf: TupledFunction[F, Args => R]):
def (f: Args => R) untupled[F, Args <: Tuple, R] given (tf: TupledFunction[F, Args => R]): F = tf.untupled(f)
```
-`TupledFunction` can also be used to generalize the [`Tuple1.compose`](https://github.com/lampepfl/dotty/tests/run/tupled-function-compose.scala) and [`Tuple1.andThen`](https://github.com/lampepfl/dotty/tests/run/tupled-function-andThen.scala) methods to compose functions of larger arities and with functions that return tuples.
+`TupledFunction` can also be used to generalize the [`Tuple1.compose`](https://github.com/lampepfl/dotty/blob/master/tests/run/tupled-function-compose.scala) and [`Tuple1.andThen`](https://github.com/lampepfl/dotty/blob/master/tests/run/tupled-function-andThen.scala) methods to compose functions of larger arities and with functions that return tuples.
```scala
/** Composes two instances of TupledFunctions in a new TupledFunctions, with this function applied last
diff --git a/docs/docs/release-notes/0.1.2.md b/docs/docs/release-notes/0.1.2.md
index 24dccbbfabcd..2959cf9bd86f 100644
--- a/docs/docs/release-notes/0.1.2.md
+++ b/docs/docs/release-notes/0.1.2.md
@@ -23,7 +23,7 @@ please ask on the Dotty [gitter channel](https://github.com/lampepfl/dotty).
# Dotty Doc
Dotty has added support for Dotty Doc.
-Actually, the dotty documentation site [http://dotty.epfl.ch/docs/](http://dotty.epfl.ch/docs/) is generated by it.
+Actually, the dotty documentation site [https://dotty.epfl.ch/docs/](https://dotty.epfl.ch/docs/) is generated by it.
Looks nice, doesn’t it?
#Other implemented features:
diff --git a/sbt-dotty/src/dotty/tools/sbtplugin/DottyIDEPlugin.scala b/sbt-dotty/src/dotty/tools/sbtplugin/DottyIDEPlugin.scala
index 8ddd106ed5bb..5583fb508dfb 100644
--- a/sbt-dotty/src/dotty/tools/sbtplugin/DottyIDEPlugin.scala
+++ b/sbt-dotty/src/dotty/tools/sbtplugin/DottyIDEPlugin.scala
@@ -364,7 +364,7 @@ object DottyIDEPlugin extends AutoPlugin {
val log = streams.value.log
log.error(
"""Could not find Visual Studio Code on your system.
- |Follow the instructions at http://dotty.epfl.ch/docs/usage/ide-support.html
+ |Follow the instructions at https://dotty.epfl.ch/docs/usage/ide-support.html
|to install it.""".stripMargin)
throw new FeedbackProvidedException {
override def toString = "Could not find Visual Studio Code on your system."
diff --git a/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala b/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala
index 19a1455ef1ed..6a032a31a1be 100644
--- a/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala
+++ b/sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala
@@ -28,7 +28,7 @@ object DottyPlugin extends AutoPlugin {
val nightly = try {
// get majorVersion from dotty.epfl.ch
- val source0 = Source.fromURL("http://dotty.epfl.ch/versions/latest-nightly-base")
+ val source0 = Source.fromURL("https://dotty.epfl.ch/versions/latest-nightly-base")
val majorVersionFromWebsite = source0.getLines().toSeq.head
source0.close()
diff --git a/vscode-dotty/README.md b/vscode-dotty/README.md
index 097357450675..44acc4087418 100644
--- a/vscode-dotty/README.md
+++ b/vscode-dotty/README.md
@@ -20,4 +20,4 @@ sbt launchIDE
## More information
-See http://dotty.epfl.ch/docs/usage/ide-support.html
+See https://dotty.epfl.ch/docs/usage/ide-support.html