search

bmw-software-engineering / trlc

Treat Requirements Like Code
GNU General Public License v3.0
50 stars 8 forks source link

Requirement "Name_resolution LRM.Sufficiently_Distinct" not met #62

Closed christophkloeffel closed 3 weeks ago

christophkloeffel commented 5 months ago

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

florianschanda commented 5 months ago

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 commented 1 month ago

@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?