Skip to content

Commit

Permalink
Add clause "simplified name" to LRM (#115)
Browse files Browse the repository at this point in the history
Add a clause to the Language Reference Manual
that simplified names must be unique.
  • Loading branch information
phiwuu authored Oct 31, 2024
1 parent 9656026 commit c732e8a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions language-reference-manual/lrm.trlc
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand All @@ -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
Expand Down

0 comments on commit c732e8a

Please sign in to comment.