Skip to content

Specify null safety subtyping #3515

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 21 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Align this PR with specify_null_safety_sep21
  • Loading branch information
eernstg committed Apr 8, 2025
commit 94799f47931b43787346114bdd44d88f3b98f0ac
14 changes: 5 additions & 9 deletions specification/dartLangSpec.tex
Original file line number Diff line number Diff line change
Expand Up @@ -24,13 +24,7 @@
% CHANGES
% =======
%
% Significant changes to the specification. Note that the versions specified
% below indicate the current tool chain version when those changes were made.
% In practice, new features have always been integrated into the language
% specification (this document) a while after the change was accepted into
% the language and implemented. As of September 2022, the upcoming version of
% the language which is being specified is indicated by a version number in
% parentheses after the tool chain version.
% Significant changes to the specification.
%
% Note that the version numbers used below (up to 2.15) were associated with
% the currently released language and tools at the time of the spec change,
Expand All @@ -41,6 +35,10 @@
% version of the language which will actually be specified by the next stable
% release of this document.
%
% Oct 2024
% - Integrate the subtyping rule updates that are needed in order to support
% null-safety.
%
% Sep 2024
% - Clarify the extension applicability rule to explicitly state that it
% is concerned with an instance member with the same basename, not a
Expand All @@ -62,8 +60,6 @@
% a function literal.
% - Specify in which situations it is an error to declare an initializing
% formal parameter.
% - Integrate the subtyping rule updates that are needed in order to support
% null-safety.
%
% Nov 2023
% - Specify that the dynamic error for calling a function in a deferred and
Expand Down