Migrate dotty.epfl.ch to static site in repository

2 files changed, 60 insertions, 0 deletions

diff --git a/docs/docs/usage/migrating.md b/docs/docs/usage/migrating.md
new file mode 100644
index 000000000..d835aeea6
--- /dev/null
+++ b/docs/docs/usage/migrating.md
@@ -0,0 +1,46 @@
+---
+layout: default
+title: "Migrating to Dotty"
+---
+
+Migrating to Dotty
+==================
+
+### Minor tweaks ###
+ * `sym.linkedClassOfClass` => `sym.linkedClass`
+ * `definitions` => `ctx.definitions`
+
+### Member Lookup ###
+`tpe.member(name)` and `tpe.decl(name)` now return a `Denotation`, not a
+`Symbol`. If no definition is found they return `NoDenotation` (instead of
+`NoSymbol`).
+
+### Symbol Properties ###
+Most `sym.isProperty` methods don't exist in dotc, test for flags instead. See
+[dotc vs scalac: Trees, Symbols, Types & Denotations]
+
+### Logging, Error Reporting, Failures ###
+
+There are various kinds of logging:
+  * Errors, warnings, etc: `ctx.inform`, `ctx.warning`, `ctx.error`, ...
+  * Log messages displayed under `-Ylog:phase`: `log(msg)` in scalac =>
+    `ctx.log(msg)` in dotc
+  * Debug-Log messages displayed under `-Ydebug -Ylog:<phase>`: `debuglog(msg)`
+    in scalac => `ctx.debuglog(msg)` in dotc
+  * Assertions: `assert(invariant)`
+  * Fatal errors: `abort(msg)` in scalac => `throw new
+    dotty.tools.dotc.FatalError(msg)` in dotc
+
+
+#### During development / debugging ####
+Instead of `Predef.println`, use `dotc.config.Printers.somePrinter.println`
+[Printers.scala]. Printers can be easily added, enabled and disabled
+without changing command line arguments.
+
+```scala
+val default: Printer = new Printer // new Printer => print
+val core:    Printer = noPrinter   // noPrinter   => shut up
+```
+
+[dotc vs scalac: Trees, Symbols, Types & Denotations]: https://github.com/lampepfl/dotty/wiki/dotc-vs-scalac:-Trees,-Symbols,-Types-&-Denotations
+[Printers.scala]: https://github.com/lampepfl/dotty/blob/master/src/dotty/tools/dotc/config/Printers.scala
diff --git a/docs/docs/usage/sbt-projects.md b/docs/docs/usage/sbt-projects.md
new file mode 100644
index 000000000..79418850d
--- /dev/null
+++ b/docs/docs/usage/sbt-projects.md
@@ -0,0 +1,14 @@
+---
+layout: default
+title: "sbt"
+---
+
+Using Dotty with sbt
+====================
+It is now possible to use Dotty with sbt thanks to the dotty-bridge project.
+There are two alternatives in how to create an sbt project that uses dotty:
+
+* [dotty-example-project](https://github.com/smarter/dotty-example-project)
+  for a simple sbt project that compiles code with Dotty
+* [sbt-dotty](https://github.com/felixmulder/sbt-dotty) an sbt plugin that
+  takes care of all dependencies and settings needed to get a Dotty sbt project