From 9b82ed0b8841ecac20962b30be1fa55503a86deb Mon Sep 17 00:00:00 2001 From: YawarRaza7349 Date: Fri, 5 Jun 2015 10:08:42 -0400 Subject: Clarify the definition of inheritance closure The definition now specifically mentions that C is an element of the inheritance closure of C. --- spec/05-classes-and-objects.md | 1 + 1 file changed, 1 insertion(+) 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) -- cgit v1.2.3