Skip to content

Commit 1579a4e

Browse files
committed
Correct the incorrect cleam that Null implements Object
1 parent aecbc16 commit 1579a4e

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

specification/dartLangSpec.tex

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9353,8 +9353,11 @@ \subsection{Null}
93539353
Attempting to instantiate \code{Null} causes a compile-time error.
93549354
It is a compile-time error for a class to extend, mix in or implement
93559355
\code{Null}.
9356-
The \code{Null} class extends the \code{Object} class
9357-
and declares no methods except those also declared by \code{Object}.
9356+
%% Deep weasel talk here: The clean model would be to have a sealed top class
9357+
%% `Any`, with `Null` and `Object` as the immediate subtypes. The only
9358+
%% special rule we would then need would be that `Any <: Object?`.
9359+
The \code{Null} class implements the same member signatures
9360+
as the \code{Object} class.
93589361

93599362
\commentary{%
93609363
The null object has primitive equality

0 commit comments

Comments
 (0)