Use HTTPS for all dotty.epfl.ch links

Author: nicolasstucki

README.md

@@ -6,11 +6,11 @@ Dotty
 [![Build Status](https://travis-ci.org/nicolasstucki/dotty-website-linkcheck.svg?branch=master)](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
 ===============
@@ -20,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)
 

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.")

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 =>

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
         }

docs/_includes/features.html

@@ -9,19 +9,19 @@ <h1 id="so-features">So, features?</h1>
                 </colgroup>
                 <tbody>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/new-types/intersection-types.html">Intersection Types</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html">Intersection Types</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/new-types/union-types.html">Union Types</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/new-types/union-types.html">Union Types</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
                         <td><a href="https://dotty.epfl.ch/docs/reference/new-types/type-lambdas.html">Type lambdas</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/contextual/implicit-function-types.html">Context query</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/contextual/implicit-function-types.html">Context query</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
@@ -65,19 +65,19 @@ <h1 id="so-features">So, features?</h1>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/#getting-started">SBT incremental build</a></td>
+                        <td><a href="https://dotty.epfl.ch/#getting-started">SBT incremental build</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html">Option-less pattern matching</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html">Option-less pattern matching</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html">Multiversal equality</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html">Multiversal equality</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html">Erased Terms</a></td>
+                        <td><a href="https://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html">Erased Terms</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>
@@ -101,7 +101,7 @@ <h1 id="so-features">So, features?</h1>
                         <td>Considered</td>
                     </tr>
                     <tr>
-                        <td>and many more, check the <a href="http://dotty.epfl.ch/docs/reference/overview.html">overview page</a> for a comprehensive list</td>
+                        <td>and many more, check the <a href="https://dotty.epfl.ch/docs/reference/overview.html">overview page</a> for a comprehensive list</td>
                         <td></td>
                     </tr>
                 </tbody>
@@ -112,7 +112,7 @@ <h1 id="talks-on-dotty">Talks on Dotty?</h1>
             <li><a href="https://www.youtube.com/watch?v=GHzWqJKFCk4">Scala's Road Ahead</a> by Martin Odersky (<a href="http://www.slideshare.net/Odersky/scala-days-nyc-2016">slides</a>)</li>
             <li><a href="https://www.youtube.com/watch?v=WxyyJyB_Ssc">Compilers are Databases</a> by Martin Odersky (<a href="http://www.slideshare.net/Odersky/compilers-are-databases">slides</a>)</li>
             <li><a href="https://www.youtube.com/watch?v=aftdOFuVU1o">Exploring the future of Scala</a> by Dmitry Petrashko (<a href="https://d-d.me/scalaworld2015/#/">slides</a>)</li>
-            <li><a href="http://dotty.epfl.ch/docs/resources/talks.html">Deep Dive with Dotty</a></li>
+            <li><a href="https://dotty.epfl.ch/docs/resources/talks.html">Deep Dive with Dotty</a></li>
         </ul>
         <h1 id="i-have-more-questions">I have more questions!</h1>
         <div class="centered-text">

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?
 

docs/blog/_posts/2017-07-12-second-dotty-milestone-release.md

@@ -21,16 +21,16 @@ The highlights of this release are:
 
 <!--more-->
 
-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)
 
 

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).
 
 <!--more-->
 
-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.

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).
 
 <!--more-->
 
-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.

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).
 
 <!--more-->
 
-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.