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/03-types.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/03-types.md')
| -rw-r--r-- | spec/03-types.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index d2f41daabf..a3167646ca 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -507,7 +507,7 @@ Assume the class definitions ```scala class Ref[T] -abstract class Outer { type T } . +abstract class Outer { type T } ``` Here are some examples of existential types: @@ -530,7 +530,7 @@ Ref[_ <: java.lang.Number] The type `List[List[_]]` is equivalent to the existential type ```scala -List[List[t] forSome { type t }] . +List[List[t] forSome { type t }] ``` ###### Example |