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