trlc icon indicating copy to clipboard operation
trlc copied to clipboard

Published 20 hours ago • verified publisher icon bmw-software-engineering

Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

Open christophkloeffel opened this issue 1 year ago • 2 comments

the following requirement is not met https://github.com/bmw-software-engineering/trlc/blob/adc0cf448e8b4a933d6f2ee6916ad1cd2b5d0bb5/language-reference-manual/lrm.trlc#L1829-L1836

either remove the requirement from the LRM or implement the missing feature

christophkloeffel avatar Jan 16 '24 08:01 christophkloeffel

Good catch, I think. I could have sworn this is implemented but the logical place for it would be in the symbol table. However it is not.

florianschanda avatar Jan 28 '24 13:01 florianschanda

@phiwuu I think two options make sense:

  1. (my preferred) broaden this to cover any and all names, so it would also cover type names, enumeration literals, record fields, etc.
  2. remove it

Just doing this for record objects like the manual currently says is both inconsistent and annoying to implement. Do you have a preference?

florianschanda avatar May 19 '24 10:05 florianschanda