Skip to content

Clarify the purpose of the website https://dotty.epfl.ch #17529

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 19, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

Firstly, thanks for being willing to contribute to Dotty! Head on over the
[Scala 3 Contributing
Guide](https://docs.scala-lang.org/scala3/guides/contribution/contribution-intro.html), which should have all the info you're looking for.
Guide](https://dotty.epfl.ch/docs/contributing/index.html), which should have all the info you're looking for.
2 changes: 1 addition & 1 deletion docs/_blog/index.html
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
---
layout: static-site-main
title: Blog
title: Blog (archive)
---
<main class="container">
<h1>{{ page.title }}</h1>
Expand Down
2 changes: 1 addition & 1 deletion docs/_docs/contributing/architecture/phases.md
Original file line number Diff line number Diff line change
Expand Up @@ -105,4 +105,4 @@ These map the transformed trees to Java classfiles or SJSIR files.
[patternMatcher]: https://github.com/lampepfl/dotty/blob/master/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala
[erasure]: https://github.com/lampepfl/dotty/blob/master/compiler/src/dotty/tools/dotc/transform/Erasure.scala
[Mirror]: https://github.com/lampepfl/dotty/blob/master/library/src/scala/deriving/Mirror.scala
[PCP]: {{ site.scala3ref }}/metaprogramming/macros.html#the-phase-consistency-principle
[PCP]: ../../reference/metaprogramming/macros.md#the-phase-consistency-principle
2 changes: 1 addition & 1 deletion docs/_docs/contributing/getting-started.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ The main development discussion channels are:
[java8]: https://www.oracle.com/java/technologies/javase-jdk8-downloads.html
[java11]: https://www.oracle.com/java/technologies/javase-jdk11-downloads.html
[adopt]: https://adoptopenjdk.net/
[compat]: /overviews/jdk-compatibility/overview.html
[compat]: https://docs.scala-lang.org/overviews/jdk-compatibility/overview.html
[scala-cla]: https://www.lightbend.com/contribute/cla/scala
[dotty-issue]: https://github.com/lampepfl/dotty/issues
[dotty-discussion]: https://github.com/lampepfl/dotty/discussions
4 changes: 2 additions & 2 deletions docs/_docs/contributing/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,9 @@ if you notice anything out of date, or report any issues
### Get the Most from This Guide

`dotc` is built with Scala 3, fully utilising its [new
features](/scala3/new-in-scala3.html). It is recommended that you first have
features](https://docs.scala-lang.org/scala3/new-in-scala3.html). It is recommended that you first have
some familiarity with Scala 3 to get the most out of this guide. You can learn
more in the [language reference]({{ site.scala3ref }}).
more in the [language reference](../reference/overview.md).

Many code snippets in this guide make use of shell commands (a line beginning
with `$`), and in this case a `bash` compatible shell is assumed. You may have
Expand Down
2 changes: 2 additions & 0 deletions docs/_docs/contributing/workflow.md
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,8 @@ The basics of working with Dotty codebase are documented [here](https://dotty.ep
| `testOnly dotty.tools.dotc.CompilationTests -- *pos` | Run test (method) `pos` from `CompilationTests` suite. |
| `testCompilation sample` | In all test suites, run test files containing the word `sample` in their title. |
| `scala3-compiler/Test/runMain dotty.tools.printTypes`| Print types underlying representation |
| `scaladoc/generateScalaDocumentation` | Build the documentation website (published to https://dotty.epfl.ch) |
| `scaladoc/generateReferenceDocumentation` | Build the reference documentation website (published to https://docs.scala-lang.org/scala3/reference) |


## Shell Commands
Expand Down
15 changes: 1 addition & 14 deletions docs/_docs/index.md
Original file line number Diff line number Diff line change
@@ -1,19 +1,6 @@
---
layout: index
redirectFrom: /docs/index.html
nightlyOf: https://docs.scala-lang.org/scala3/reference/
---

Dotty is the project name for technologies that are considered for inclusion in Scala 3. Scala has
pioneered the fusion of object-oriented and functional programming in a typed setting. Scala 3 will
be a big step towards realizing the full potential of these ideas. Its main objectives are to

- become more opinionated by promoting programming idioms we found to work well,
- simplify where possible,
- eliminate inconsistencies and surprising behaviors,
- build on strong foundations to ensure the design hangs well together,
- consolidate language constructs to improve the language’s consistency, safety, ergonomics, and performance.

In this documentation you will find information on how to use the Dotty compiler on your machine,
navigate through the code, setup Dotty with your favorite IDE and more!

This website contains the developer documentation of the Scala 3 compiler. It targets developers interested in contributing to the compiler, or learning its internals. If you want to learn how to use Scala, go [here](https://docs.scala-lang.org/).
2 changes: 1 addition & 1 deletion docs/_docs/reference/metaprogramming/macros-spec.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ Quotes define all the `Expr[T]` methods as extension methods.
`Type[T]` does not have methods and therefore does not appear here.
These methods are available as long as `Quotes` is implicitly given in the current scope.

The `Quotes` instance is also the entry point to the [reflection API](./refelction.md) through the `reflect` object.
The `Quotes` instance is also the entry point to the [reflection API](./reflection.md) through the `reflect` object.

Finally, `Quotes` provides the internal logic used in quote un-pickling (`QuoteUnpickler`) in quote pattern matching (`QuoteMatching`).
These interfaces are added to the self-type of the trait to make sure they are implemented on this object but not visible to users of `Quotes`.
Expand Down