diff options
author | YawarRaza7349 <YawarRaza7349@gmail.com> | 2015-06-05 10:08:42 -0400 |
---|---|---|
committer | YawarRaza7349 <YawarRaza7349@gmail.com> | 2015-06-05 10:08:42 -0400 |
commit | 9b82ed0b8841ecac20962b30be1fa55503a86deb (patch) | |
tree | df7c29d049b7b4d18978ee2d6942ec285e082bcb /spec | |
parent | 0bc7fa67d130f75079df79814b33ef073254e27a (diff) | |
download | scala-9b82ed0b8841ecac20962b30be1fa55503a86deb.tar.gz scala-9b82ed0b8841ecac20962b30be1fa55503a86deb.tar.bz2 scala-9b82ed0b8841ecac20962b30be1fa55503a86deb.zip |
Clarify the definition of inheritance closure
The definition now specifically mentions that C is an element of the
inheritance closure of C.
Diffstat (limited to 'spec')
-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) |