Skip to content

[Needs Verification] §7.8/§7.10 — noreturn procedure directive may not exist #47

Description

@NickHodges

Section: §7.8 The noreturn Directive, §7.10 directive summary table

Current text:
A full section introducing noreturn as an Object Pascal procedure directive, with no version tag.

Problem:
There is no record of noreturn being a real Delphi/Object Pascal directive in any released version. Every other new-in-Delphi-13 construct in this document (is not, not in, the conditional operator, NameOf) is explicitly tagged "(Delphi 13+)"; this section carries no such tag, which is inconsistent — either it's a real directive that isn't widely known, or it's fabricated/aspirational and mistakenly presented as existing.

Why this needs compiler verification:
Write a small test unit with procedure Foo; noreturn; and confirm whether Delphi 13.1 Florence accepts or rejects the directive; also check the official Embarcadero release notes/documentation for Delphi 13.

Suggested fix (pending verification):
If it doesn't exist: remove §7.8 and its §7.10 table row. If it does exist and is new: add the "(Delphi 13+)" tag for consistency with the rest of the document.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentationneeds-compiler-verificationClaim needs verification against the real Delphi compiler before fixing

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions