diff options
author | Janek Bogucki <janekdb@gmail.com> | 2017-04-10 12:08:11 +0100 |
---|---|---|
committer | Janek Bogucki <janekdb@gmail.com> | 2017-04-10 12:08:11 +0100 |
commit | b9f5211ffd0d097d4caffc40ced8d280e632f460 (patch) | |
tree | a26024f01404276de6deae6411741a2bdbaf5d07 /spec/04-basic-declarations-and-definitions.md | |
parent | d9c3bd53433f202f0123733613baf3a382076323 (diff) | |
download | scala-b9f5211ffd0d097d4caffc40ced8d280e632f460.tar.gz scala-b9f5211ffd0d097d4caffc40ced8d280e632f460.tar.bz2 scala-b9f5211ffd0d097d4caffc40ced8d280e632f460.zip |
Fix == in spec linearization examples
Also
- Consistify trailing punctuation
- Use whitespace to group linearization examples
Diffstat (limited to 'spec/04-basic-declarations-and-definitions.md')
-rw-r--r-- | spec/04-basic-declarations-and-definitions.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/04-basic-declarations-and-definitions.md b/spec/04-basic-declarations-and-definitions.md index c4d3425fff..5e055228f1 100644 --- a/spec/04-basic-declarations-and-definitions.md +++ b/spec/04-basic-declarations-and-definitions.md @@ -91,7 +91,7 @@ expands to ```scala case object Red extends Color case object Green extends Color -case object Blue extends Color . +case object Blue extends Color ``` --> @@ -144,7 +144,7 @@ value definition `val $p$ = $e$` is expanded as follows: val $\$ x$ = $e$ match {case $p$ => ($x_1 , \ldots , x_n$)} val $x_1$ = $\$ x$._1 $\ldots$ -val $x_n$ = $\$ x$._n . +val $x_n$ = $\$ x$._n ``` Here, $\$ x$ is a fresh name. |