diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-10-04 01:12:01 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-10-04 01:12:01 +0200 |
commit | 4a3cdd67cd1b5c6d407c5702a1c50a19bc17fc20 (patch) | |
tree | 8cdac92902a75c5d1808a2a876382f0c987298c0 /subprojects/frontend/src/index.tsx | |
parent | feat(frontend): enable cross-origin isolation (diff) | |
download | refinery-4a3cdd67cd1b5c6d407c5702a1c50a19bc17fc20.tar.gz refinery-4a3cdd67cd1b5c6d407c5702a1c50a19bc17fc20.tar.zst refinery-4a3cdd67cd1b5c6d407c5702a1c50a19bc17fc20.zip |
refactor(language): disable rule parsing
Rules have too complex semantics to implement in the first prototype.
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index 55e0590f..f7fe61b9 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -36,14 +36,6 @@ pred invalidTaxStatus(Person p) <-> | |||
36 | parent(p, q), | 36 | parent(p, q), |
37 | !taxStatus(q, retired). | 37 | !taxStatus(q, retired). |
38 | 38 | ||
39 | rule createChild(may Person p, must Person newPerson): | ||
40 | may children(p, newPerson), | ||
41 | may !equals(newPerson, newPerson) | ||
42 | ==> | ||
43 | new q <: newPerson, | ||
44 | children(p, q), | ||
45 | taxStatus(q, child). | ||
46 | |||
47 | indiv family. | 39 | indiv family. |
48 | Family(family). | 40 | Family(family). |
49 | members(family, anne). | 41 | members(family, anne). |