diff options
author | Seth Tisue <seth@tisue.net> | 2015-06-17 17:31:57 -0400 |
---|---|---|
committer | Seth Tisue <seth@tisue.net> | 2015-06-17 17:31:57 -0400 |
commit | 5d04725f6ac3a8a26f2fb25f535854b72a54f7cd (patch) | |
tree | 1245ace8e068bdc99ca843f2cef6633261a4698e | |
parent | 43a56fb5a1b6450ce2bdf8f73ab30ca1b16d0778 (diff) | |
parent | 9b82ed0b8841ecac20962b30be1fa55503a86deb (diff) | |
download | scala-5d04725f6ac3a8a26f2fb25f535854b72a54f7cd.tar.gz scala-5d04725f6ac3a8a26f2fb25f535854b72a54f7cd.tar.bz2 scala-5d04725f6ac3a8a26f2fb25f535854b72a54f7cd.zip |
Merge pull request #4540 from YawarRaza7349/patch-1
Clarify the definition of inheritance closure
-rw-r--r-- | spec/05-classes-and-objects.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spec/05-classes-and-objects.md b/spec/05-classes-and-objects.md index 28abe6c3bc..8be792d3cb 100644 --- a/spec/05-classes-and-objects.md +++ b/spec/05-classes-and-objects.md @@ -395,6 +395,7 @@ class C extends A with B { type T <: C } Let $C$ be a class type. The _inheritance closure_ of $C$ is the smallest set $\mathscr{S}$ of types such that +- $C$ is in $\mathscr{S}$. - If $T$ is in $\mathscr{S}$, then every type $T'$ which forms syntactically a part of $T$ is also in $\mathscr{S}$. - If $T$ is a class type in $\mathscr{S}$, then all [parents](#templates) |