Open Michiel-s opened 5 years ago
For now, I don't have a clear solution on how to make a distinction between interfaces that are meant for the navbar and interfaces meant for the '+ menu' (e.g. to create new atoms). I think a solution will emerge with implementation of AmpersandTarski/Ampersand#578. So let's do that first.
Currently the implementation of the '+ menu' in the navigation bar allows to create new atoms using interfaces with root expression
INTERFACE "" : I[Cpt] CRud ...
.While implementing warnings/rules for CRUD specifications (#874), we decided that create (C) is not applicable/allowed for Ident expressions. Therefore the functionality of the '+ menu' needs to be refactored and e.g.
V[SESSION*Cpt] Crud
could be used as a replacement.