AmpersandTarski / Ampersand

Build database applications faster than anyone else, and keep your data pollution free as a bonus.
http://ampersandtarski.github.io/
GNU General Public License v3.0
40 stars 8 forks source link

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

Open hanjoosten opened 1 month ago

hanjoosten commented 1 month ago

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")