From 73678d4dafe250f0b38df2e953787af26b1a4ee3 Mon Sep 17 00:00:00 2001 From: Daniel Barclay Date: Thu, 17 Nov 2016 02:05:59 -0500 Subject: Add language to code blocks in spec (#5502) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * Add "scala" language code to pure-Scala code blocks. * Add "java" language code to Java code block. * Add "scala" language code to almost-pure-Scala code blocks. Add "scala" language code to two code blocks whose content was Scala except for containing ellipses (\ldots). * Add "scala" language code to non-literal-Scala code blocks. Add "scala" language code to code blocks that contain Scala but also special elements, such as identifiers that are italicized or have prime marks (e.g., e′, e′′), ellipses (\ldots), etc. --- spec/03-types.md | 10 +++++----- spec/04-basic-declarations-and-definitions.md | 2 +- spec/05-classes-and-objects.md | 2 +- spec/06-expressions.md | 10 +++++----- spec/11-annotations.md | 8 ++++---- spec/12-the-scala-standard-library.md | 8 ++++---- 6 files changed, 20 insertions(+), 20 deletions(-) diff --git a/spec/03-types.md b/spec/03-types.md index 2ad16e50cb..d2f41daabf 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -587,7 +587,7 @@ corresponding function type. The declarations -``` +```scala def a: Int def b (x: Int): Boolean def c (x: Int) (y: String, z: String): String @@ -642,7 +642,7 @@ the corresponding type parameter clause. Consider this fragment of the `Iterable[+X]` class: -``` +```scala trait Iterable[+X] { def flatMap[newType[+X] <: Iterable[X], S](f: X => newType[S]): newType[S] } @@ -660,7 +660,7 @@ same name, we model An overloaded type consisting of type alternatives $T_1 \commadots T_n (n \geq 2)$ is denoted internally $T_1 \overload \ldots \overload T_n$. ###### Example -``` +```scala def println: Unit def println(s: String): Unit = $\ldots$ def println(x: Float): Unit = $\ldots$ @@ -678,7 +678,7 @@ println: => Unit $\overload$ ``` ###### Example -``` +```scala def f(x: T): T = $\ldots$ val f = 0 ``` @@ -979,7 +979,7 @@ after applying [eta-expansion](06-expressions.html#eta-expansion). If $T$ is a m Given the definitions -``` +```scala def foo(x: Int => String): Unit def foo(x: ToString): Unit diff --git a/spec/04-basic-declarations-and-definitions.md b/spec/04-basic-declarations-and-definitions.md index f6068eb9d8..49ca80b124 100644 --- a/spec/04-basic-declarations-and-definitions.md +++ b/spec/04-basic-declarations-and-definitions.md @@ -88,7 +88,7 @@ The class definition `case class X(), Y(n: Int) extends Z` expands to `case class X extends Z; case class Y(n: Int) extends Z`. - The object definition `case object Red, Green, Blue extends Color`~ expands to -``` +```scala case object Red extends Color case object Green extends Color case object Blue extends Color . diff --git a/spec/05-classes-and-objects.md b/spec/05-classes-and-objects.md index 1b9702286c..75620f57d4 100644 --- a/spec/05-classes-and-objects.md +++ b/spec/05-classes-and-objects.md @@ -725,7 +725,7 @@ Here, - $t$ is a [template](#templates) of the form - ``` + ```scala $sc$ with $mt_1$ with $\ldots$ with $mt_m$ { $\mathit{stats}$ } // $m \geq 0$ ``` diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 36cd3fd3cf..48cff1725a 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -945,7 +945,7 @@ comprehensions have been eliminated. `$e$.foreach { case $p$ => $e'$ }`. - A for comprehension - ``` + ```scala for ($p$ <- $e$; $p'$ <- $e'; \ldots$) yield $e''$ ``` @@ -953,13 +953,13 @@ comprehensions have been eliminated. sequence of generators, definitions, or guards, is translated to - ``` + ```scala $e$.flatMap { case $p$ => for ($p'$ <- $e'; \ldots$) yield $e''$ } ``` - A for loop - ``` + ```scala for ($p$ <- $e$; $p'$ <- $e'; \ldots$) $e''$ ``` @@ -967,7 +967,7 @@ comprehensions have been eliminated. sequence of generators, definitions, or guards, is translated to - ``` + ```scala $e$.foreach { case $p$ => for ($p'$ <- $e'; \ldots$) $e''$ } ``` @@ -980,7 +980,7 @@ comprehensions have been eliminated. `$p'$ = $e'$` is translated to the following generator of pairs of values, where $x$ and $x'$ are fresh names: - ``` + ```scala ($p$, $p'$) <- for ($x @ p$ <- $e$) yield { val $x' @ p'$ = $e'$; ($x$, $x'$) } ``` diff --git a/spec/11-annotations.md b/spec/11-annotations.md index e54a0dd2b0..68faee53e6 100644 --- a/spec/11-annotations.md +++ b/spec/11-annotations.md @@ -56,7 +56,7 @@ Java platform, the following annotations have a standard meaning. This is equivalent to a the following field definition in Java: - ``` + ```java private final static SerialVersionUID = ``` @@ -103,7 +103,7 @@ Java platform, the following annotations have a standard meaning. matches which would otherwise be emitted. For instance, no warnings would be produced for the method definition below. - ``` + ```scala def f(x: Option[Int]) = (x: @unchecked) match { case Some(y) => y } @@ -117,7 +117,7 @@ Java platform, the following annotations have a standard meaning. value to appear in a path, even if its type is [volatile](03-types.html#volatile-types). For instance, the following member definitions are legal: - ``` + ```scala type A { type T } type B @uncheckedStable val x: A with B // volatile type @@ -140,7 +140,7 @@ Java platform, the following annotations have a standard meaning. For instance, the following code would generate specialized traits for `Unit`, `Int` and `Double` - ``` + ```scala trait Function0[@specialized(Unit, Int, Double) T] { def apply: T } diff --git a/spec/12-the-scala-standard-library.md b/spec/12-the-scala-standard-library.md index 8f65191312..a1d4516a1f 100644 --- a/spec/12-the-scala-standard-library.md +++ b/spec/12-the-scala-standard-library.md @@ -777,7 +777,7 @@ The available high-priority implicits include definitions falling into the follo * An implicit wrapper that adds `ensuring` methods with the following overloaded variants to type `Any`. - ``` + ```scala def ensuring(cond: Boolean): A = { assert(cond); x } def ensuring(cond: Boolean, msg: Any): A = { assert(cond, msg); x } def ensuring(cond: A => Boolean): A = { assert(cond(x)); x } @@ -787,7 +787,7 @@ The available high-priority implicits include definitions falling into the follo * An implicit wrapper that adds a `->` method with the following implementation to type `Any`. - ``` + ```scala def -> [B](y: B): (A, B) = (x, y) ``` @@ -801,7 +801,7 @@ The available high-priority implicits include definitions falling into the follo * An implicit wrapper that adds `+` and `formatted` method with the following implementations to type `Any`. - ``` + ```scala def +(other: String) = String.valueOf(self) + other def formatted(fmtstr: String): String = fmtstr format self ``` @@ -835,7 +835,7 @@ The available high-priority implicits include definitions falling into the follo * An implicit definition that generates instances of type `T <:< T`, for any type `T`. Here, `<:<` is a class defined as follows. - ``` + ```scala sealed abstract class <:<[-From, +To] extends (From => To) ``` -- cgit v1.2.3