Merge pull request #7258 from dotty-staging/fix-dead-links

anatoliykmetyuk · web-flow · commit 9ba1ed300d39 · 2019-09-19T11:51:21.000+02:00
Fix dead links
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
@@ -63,12 +63,12 @@ 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](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)
+  - [Intersection Types](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html)
+  - [Union Types](https://dotty.epfl.ch/docs/reference/new-types/union-types.html)
+  - [Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/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)
+  - [By-Name Implicits](https://dotty.epfl.ch/docs/reference/other-new-features/implicit-by-name-parameters.html)
 
 We also ship with tools that help you try out the Dotty platform:
 
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
@@ -25,12 +25,12 @@ This is our second scheduled release according to our [6-week release schedule](
 
 ## 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](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),
+[Intersection Types](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html),
+[Union Types](https://dotty.epfl.ch/docs/reference/new-types/union-types.html),
+[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/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).
+[By-Name Implicits](https://dotty.epfl.ch/docs/reference/other-new-features/implicit-by-name-parameters.html).
 
 This technology preview is geared towards improving stability and reliability. It includes:
 
diff --git a/docs/blog/_posts/2018-04-27-eighth-dotty-milestone-release.md b/docs/blog/_posts/2018-04-27-eighth-dotty-milestone-release.md
@@ -91,7 +91,7 @@ f[[X] =>> String]
 ```
 
 **Note**: This feature is considered experimental and is only enabled under a compiler flag
-(i.e. `-Ykind-polymorphism`). For more information, visit the [Kind Polymorphism](https://dotty.epfl.ch/docs/reference/kind-polymorphism.html)
+(i.e. `-Ykind-polymorphism`). For more information, visit the [Kind Polymorphism](https://dotty.epfl.ch/docs/reference/other-new-features/kind-polymorphism.html)
 section of our documentation.
 
 ### Improved support for SAM type [#4152](https://github.com/lampepfl/dotty/pull/4152)
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
@@ -89,7 +89,7 @@ The compiler will now desugar the former into the latter. Special thanks to
 compiler!
 
 
-### Support for compiler plugins [#3438](https://github.com/lampepfl/dotty/pull/#3438)
+### Support for compiler plugins [#3438](https://github.com/lampepfl/dotty/pull/3438)
 Dotty now supports Compiler plugins. Compiler plugins let you customize the compiler pipeline
 without having to modify the compiler source code. A major difference compared to Scala 2 is
 that Dotty plugins must run after the type checker. Being able to influence normal type checking
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
@@ -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](https://dotty.epfl.ch/docs/reference/match-types.html) section of our documentation.
+[Match Types](https://dotty.epfl.ch/docs/reference/new-types/match-types.html) section of our documentation.
 
 ### Documentation in the REPL
 
diff --git a/docs/blog/_posts/2019-01-21-12th-dotty-milestone-release.md b/docs/blog/_posts/2019-01-21-12th-dotty-milestone-release.md
@@ -8,7 +8,7 @@ date: 2019-01-21
 
 Happy New Year to all with the first release of Dotty for 2019! ✨🎊🎉
 
-Today we are excited to release the version 0.12.0-RC1 of the Dotty compiler. 
+Today we are excited to release the version 0.12.0-RC1 of the Dotty compiler.
 This release serves as a technology preview that demonstrates new language features and the
 compiler supporting them.
 
@@ -72,36 +72,36 @@ List(1,2).combine(List(3,4)) // == List(1,2,3,4)
 This works because the `combine` extension methods of `IntSemigroup` and `ListSemigroup` are available
 from the relevant implicit scopes.
 
-Read the [full documentation](https://dotty.epfl.ch/docs/reference/other-new-features/extension-methods.html) about generic extension methods, higher-kinded extension methods, and more.
+Read the [full documentation](https://dotty.epfl.ch/docs/reference/contextual/extension-methods.html) about generic extension methods, higher-kinded extension methods, and more.
 
 ### TASTy Reflect goodies
 
-We implement a new decompiler for TASTy files and we also offer a new VS Code Extension. 
-The decompiler allows to view both decompiled scala source code and the pretty printed TASTy tree when opening a .tasty file. 
+We implement a new decompiler for TASTy files and we also offer a new VS Code Extension.
+The decompiler allows to view both decompiled scala source code and the pretty printed TASTy tree when opening a .tasty file.
 The feature is similar to opening .class files in IntelliJ.
 
 ![]({{ site.baseurl }}/images/dotty-ide/decompiler.png "Decompiler")
 
 The decompiler can be invoked with the corresponding flag: `dotc -decompile xyz.tasty`.
 
-On the programmatic side of TASTy we are rolling out changes according to our plan discussed at [Macros: The Plan for Scala 3](https://www.scala-lang.org/blog/2018/04/30/in-a-nutshell.html). 
-In this release, we make progress following the _Next Steps_ of the aforementioned blogpost by offering constructors that work directly with reflect trees. 
+On the programmatic side of TASTy we are rolling out changes according to our plan discussed at [Macros: The Plan for Scala 3](https://www.scala-lang.org/blog/2018/04/30/in-a-nutshell.html).
+In this release, we make progress following the _Next Steps_ of the aforementioned blogpost by offering constructors that work directly with reflect trees.
 Consequently, TASTy extractors meet their dual, TASTy constructors!
 We also connect the new lower-level reflection layer to the existing principled macro system based on quotes and splices offering, two new expression methods for `Expr[T]`:
 
 - `unseal` that unseals an `Expr[T]` (non traversable code) into a `Term` and
-- `seal` that seals back a `Term` into an `Expr[T]`. 
+- `seal` that seals back a `Term` into an `Expr[T]`.
 
-Read the [relevant documentation](https://dotty.epfl.ch/docs/reference/other-new-features/tasty-reflect.html) to learn how to go from quotes and splices to TASTys Reflect trees and back .
+Read the [relevant documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/tasty-reflect.html) to learn how to go from quotes and splices to TASTys Reflect trees and back .
 
 ### Alignments with the Scala Improvement Process
 
 In this version we improve the implementation of by-name implicits making it compliant with the [By-name Implicits](https://docs.scala-lang.org/sips/byname-implicits.html) SIP and we implement the `ValueOf` operator which yields the unique value of types with a single inhabitant, effectively syncing it up with the [Literal-Based Singleton Types](https://docs.scala-lang.org/sips/42.type.html) SIP.
 
 ### Improvements to GADT support
 
-In this release, we're also rolling out the first batch of improvements to GADT support - namely, variable unification. 
-To keep it short, from knowing that `A <: B` and `B <: A`, we can now deduce that `A = B`, and from `A = B` and `B <: C` we deduce that `A <: C`. 
+In this release, we're also rolling out the first batch of improvements to GADT support - namely, variable unification.
+To keep it short, from knowing that `A <: B` and `B <: A`, we can now deduce that `A = B`, and from `A = B` and `B <: C` we deduce that `A <: C`.
 This kind of reasoning is necessary for many advanced GADT usages!
 
 ### And much more!
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
@@ -125,7 +125,7 @@ For more information, please see the [documentation](https://dotty.epfl.ch/docs/
 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](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.
+- 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/metaprogramming/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
@@ -30,7 +30,7 @@ You can learn more about Dotty on our [website](https://dotty.epfl.ch).
 <!--more-->
 
 This is our 15th scheduled release according to our
-[6-week release schedule](https://dotty.epfl.ch/docs/contributing/release.html).
+[6-week release schedule](https://dotty.epfl.ch/docs/contributing/procedures/release.html).
 
 # What’s new in the 0.15.0-RC1 technology preview?
 ## Full Bootstrap
diff --git a/docs/blog/_posts/2019-06-11-16th-dotty-milestone-release.md b/docs/blog/_posts/2019-06-11-16th-dotty-milestone-release.md
@@ -34,7 +34,7 @@ You can learn more about Dotty on our [website](https://dotty.epfl.ch).
 <!--more-->
 
 This is our 16th scheduled release according to our
-[6-week release schedule](https://dotty.epfl.ch/docs/contributing/release.html).
+[6-week release schedule](https://dotty.epfl.ch/docs/contributing/procedures/release.html).
 
 # What’s new in the 0.16.0-RC3 technology preview?
 
diff --git a/docs/blog/_posts/2019-07-25-17th-dotty-milestone-release.md b/docs/blog/_posts/2019-07-25-17th-dotty-milestone-release.md
@@ -27,7 +27,7 @@ You can learn more about Dotty on our [website](https://dotty.epfl.ch).
 <!--more-->
 
 This is our 17th scheduled release according to our
-[6-week release schedule](https://dotty.epfl.ch/docs/contributing/release.html).
+[6-week release schedule](https://dotty.epfl.ch/docs/contributing/procedures/release.html).
 
 # What’s new in the 0.17.0-RC1 technology preview?
 ## New implicit scoping rules
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
@@ -28,7 +28,7 @@ You can learn more about Dotty on our [website](https://dotty.epfl.ch).
 <!--more-->
 
 This is our 18th scheduled release according to our
-[6-week release schedule](https://dotty.epfl.ch/docs/contributing/release.html).
+[6-week release schedule](https://dotty.epfl.ch/docs/contributing/procedures/release.html).
 
 # What’s new in the 0.18.1-RC1 technology preview?
 The hottest change of this release is a series of experiments with the language syntax. Some of them are controversial, some of them are almost unanimously considered useful. Regardless, the underlying motivation for all of them is something all of us want, we believe d: to make programming in Scala easier to write and read, drop unnecessary boilerplate, facilitate idiomatic programming.
diff --git a/docs/docs/reference/features-classification.md b/docs/docs/reference/features-classification.md
@@ -43,7 +43,7 @@ These constructs replace existing constructs with the aim of making the language
  - [Opaque Type Aliases](other-new-features/opaques.md) replace most uses
    of value classes while guaranteeing absence of boxing.
  - [Toplevel definitions](dropped-features/package-objects.md) replace package objects, dropping syntactic boilerplate.
- - [Export clauses](new-features/export.md)
+ - [Export clauses](other-new-features/export.md)
  provide a simple and general way to express aggregation, which can replace the
  previous facade pattern of package objects inheriting from classes.
  - [Vararg patterns](changed-features/vararg-patterns.md) now use the form `: _*` instead of `@ _*`, mirroring vararg expressions,
diff --git a/docs/docs/reference/metaprogramming/macros-spec.md b/docs/docs/reference/metaprogramming/macros-spec.md
@@ -157,7 +157,7 @@ environments and terms.
                            Es |- 't: expr T
 
 The meta theory of a slightly simplified variant 2-stage variant of this calculus
-is studied [separately](../simple-smp.md).
+is studied [separately](./simple-smp.md).
 
 ## Going Further
 
diff --git a/docs/docs/release-notes/0.1.2.md b/docs/docs/release-notes/0.1.2.md
@@ -76,11 +76,11 @@ This release ships with the following features:
 
 [1]: https://docs.google.com/document/d/1h3KUMxsSSjyze05VecJGQ5H2yh7fNADtIf3chD3_wr0/edit
 [2]: https://infoscience.epfl.ch/record/222780?ln=en
-[3]: ../reference/new-types/intersection-types.md
-[4]: ../reference/new-types/union-types.md
-[5]: ../reference/enums/adts.md
-[6]: ../reference/enums/desugarEnums.md
-[7]: ../reference/other-new-features/implicit-by-name-parameters.md
+[3]: ../reference/new-types/intersection-types.html
+[4]: ../reference/new-types/union-types.html
+[5]: ../reference/enums/adts.html
+[6]: ../reference/enums/desugarEnums.html
+[7]: ../reference/other-new-features/implicit-by-name-parameters.html
 [8]: https://infoscience.epfl.ch/record/228518
 [9]: http://docs.scala-lang.org/sips/pending/static-members.html
 [10]: http://docs.scala-lang.org/sips/pending/improved-lazy-val-initialization.html
@@ -103,10 +103,10 @@ This release ships with the following features:
 [27]: https://github.com/lampepfl/dotty/pull/2513
 [28]: https://github.com/lampepfl/dotty/pull/2361
 [29]: https://github.com/lampepfl/dotty/pull/1453
-[30]: ../reference/contextual/implicit-function-types.md
+[30]: ../reference/contextual/implicit-function-types.html
 [31]: https://github.com/lampepfl/dotty/pull/2136
 [32]: https://github.com/lampepfl/dotty/pull/1758
-[33]: ../reference/metaprogramming/inline.md
+[33]: ../reference/metaprogramming/inline.html
 
 # Contributors
 The Dotty team and contributors have closed 750 issues and have merged a total of 1258 pull requests.
diff --git a/docs/docs/usage/dottydoc.md b/docs/docs/usage/dottydoc.md
@@ -109,7 +109,7 @@ To be rendered as templates, each blog post should have front-matter and a
 
 The posts are also available in the variable `site.posts` throughout the site.
 The fields of these objects are the same as in
-[BlogPost](dotty.tools.dottydoc.staticsite.BlogPost).
+`[BlogPost](dotty.tools.dottydoc.staticsite.BlogPost)`.
 
 Includes
 ========
@@ -247,7 +247,7 @@ api-page.html
 -------------
 The last two layouts are special, in that they are treated specially by
 Dottydoc. The input to the API page is a documented
-[Entity](dotty.tools.dottydoc.model.Entity). As such, this page can be changed
+`[Entity](dotty.tools.dottydoc.model.Entity)`. As such, this page can be changed
 to alter the way Dottydoc renders API documentation.
 
 blog-page.html
diff --git a/docs/docs/usage/version-numbers.md b/docs/docs/usage/version-numbers.md
@@ -3,13 +3,13 @@ layout: doc-page
 title: "Version numbers"
 ---
 
-**This documentation is outdated! Please find the newer version [here](../contributing/release.md)**.
+**This documentation is outdated! Please find the newer version [here](../contributing/procedures/release.md)**.
 
 Dotty uses multiple schemes for version numbering.
 
 Stable releases have version numbers of the form `0.${x}.${y}`, where `x` is a main version and `y` is a bug-fix update id.
 
-Release candidates version numbers have the form `0.${x}.${y}-RC${z}`. 
+Release candidates version numbers have the form `0.${x}.${y}-RC${z}`.
 Every 6 weeks, the latest release candidate is promoted to stable and becomes version `0.${x}.${y}`.
 The release candidates let library authors test their code in advance of each
 release. Multiple release candidates may be released during each 6 weeks
