Modals and non-modals collide in table-namespace
Bug #1445157 reported by
Tim Hinrichs
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
congress |
Triaged
|
Medium
|
Unassigned |
Bug Description
Explicit reactive enforcement (i.e. rules with execute[] in the head) doesn't work properly if there are rules where the same table is used with execute[] and without execute[]. The easiest fix is to add a syntax check that rejects a rule with p in the head when a rule with execute[p...] already exists or vice versa.
Changed in congress: | |
assignee: | nobody → Anusha (anusha-iiitm) |
Changed in congress: | |
milestone: | kilo-3 → none |
Changed in congress: | |
milestone: | none → ocata-2 |
Changed in congress: | |
assignee: | Anusha (anusha-iiitm) → nobody |
Changed in congress: | |
milestone: | ocata-2 → ocata-3 |
Changed in congress: | |
status: | New → Triaged |
To post a comment you must log in.