Ampersand icon indicating copy to clipboard operation
Ampersand copied to clipboard

CONCEPT that is defined but not used doesn't show up in `concs`

Open hanjoosten opened this issue 9 months ago • 0 comments

I have the following script:

CONTEXT Issue1487

CONCEPT Foo "This concept is not used anywhere in the script."

ENDCONTEXT

When I run the following command:

ampersand population --build-recipe Grind --verbose --output-format JSON Issue1487.adl

I get the following error:

PropertyRule for TOT concept[ConceptDef*Concept] which is defined at Concepts.adl:8:5 error:
  There is one violation of RULE "TOT concept[ConceptDef*Concept]":
    ("Foo", "Foo")

hanjoosten avatar May 23 '24 14:05 hanjoosten