diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-05-20 20:41:06 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-05-26 17:22:33 +0200 |
| commit | 926da55dedad57f43f0f1cf28cdce1137a48a72d (patch) | |
| tree | 0bb5e8ee497165283f23cd94a6fa3608ca09be7e /subprojects/language | |
| parent | feat(language): node constants in rule actions (diff) | |
| download | refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.tar.gz refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.tar.zst refinery-926da55dedad57f43f0f1cf28cdce1137a48a72d.zip | |
fix(semantics): negative quantification in rules
Make sure we appropriate quantify over the existence of objects in negative and
transitive calls in rule preconditions.
Diffstat (limited to 'subprojects/language')
0 files changed, 0 insertions, 0 deletions