From 09999d6f156c8d6c9bfe8081bb6ec9c34d746747 Mon Sep 17 00:00:00 2001 From: Olivier ROLAND Date: Tue, 28 May 2019 14:31:29 +0200 Subject: [PATCH] Remove Literal singleton types from dotty doc since they are already in Scala 2.13. --- docs/_includes/features.html | 4 ---- docs/docs/reference/singleton-types.md | 20 -------------------- 2 files changed, 24 deletions(-) delete mode 100644 docs/docs/reference/singleton-types.md diff --git a/docs/_includes/features.html b/docs/_includes/features.html index e1a551bc32b8..01dfa5a04a25 100644 --- a/docs/_includes/features.html +++ b/docs/_includes/features.html @@ -60,10 +60,6 @@

So, features?

Creator applications Implemented - - Literal singleton types - Implemented - @static methods and fields Implemented diff --git a/docs/docs/reference/singleton-types.md b/docs/docs/reference/singleton-types.md deleted file mode 100644 index 6e8c9566c2e4..000000000000 --- a/docs/docs/reference/singleton-types.md +++ /dev/null @@ -1,20 +0,0 @@ ---- -layout: doc-page -title: "Literal Singleton Types" ---- - -Literal Singleton Types allow primitive literals to be used as types. For example: - -```scala -val t: 42 = 42 -val x: "Jedi" = "Jedi" -``` - -It is also possible to define functions returning or taking singleton types such as - -```scala -def f(t: Double): t.type = t -val a: 1.2 = f(1.2) -``` - -For more details and the motivation behind the need for literal singleton types, check out [SIP-23](http://docs.scala-lang.org/sips/pending/42.type.html)