From ebe04d211bac1fb2781a5b866b61f798b6009bda Mon Sep 17 00:00:00 2001 From: Philipp Wullstein-Kammler Date: Wed, 30 Oct 2024 15:53:55 +0100 Subject: [PATCH] Add clause "simplified name" to LRM Add a clause to the Language Reference Manual that simplified names must be unique. --- language-reference-manual/lrm.trlc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/language-reference-manual/lrm.trlc b/language-reference-manual/lrm.trlc index 9cc1812..043d41c 100644 --- a/language-reference-manual/lrm.trlc +++ b/language-reference-manual/lrm.trlc @@ -1780,7 +1780,7 @@ section "Record object declarations" { after the last value is parsed.''' } - /*Name_Resolution Sufficiently_Distinct { + Name_Resolution Sufficiently_Distinct { text = '''When declaring record objects there are wider rules that indicate name clashes. Specifically a record may not be declared if its "simplified name" @@ -1800,7 +1800,7 @@ section "Record object declarations" { Note Simplified_Name_Rationale { text = '''The purpose of this rule is to avoid requirements that have hard to distinguish names.''' - }*/ + } Recommendation Record_Object_API { text = '''When exposing record instances through the API, it is