diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-01 01:44:06 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-01 01:44:06 +0200 |
| commit | e86447b4d74677d86271336727e0bbff9f4c54b5 (patch) | |
| tree | 5f32aa78c8aa8a72ec0303cb5675eb83877b3700 /subprojects/frontend/src/index.tsx | |
| parent | chore(deps): bump dependencies (diff) | |
| download | refinery-e86447b4d74677d86271336727e0bbff9f4c54b5.tar.gz refinery-e86447b4d74677d86271336727e0bbff9f4c54b5.tar.zst refinery-e86447b4d74677d86271336727e0bbff9f4c54b5.zip | |
refactor: direct predicates
* Remove the direct keyword because it can be inferred
* Use may/must/current instead of value literals
* Transformation rule changes
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
| -rw-r--r-- | subprojects/frontend/src/index.tsx | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index 6cdbbd64..0616007a 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
| @@ -34,12 +34,12 @@ pred invalidTaxStatus(Person p) <-> | |||
| 34 | parent(p, q), | 34 | parent(p, q), |
| 35 | !taxStatus(q, retired). | 35 | !taxStatus(q, retired). |
| 36 | 36 | ||
| 37 | direct rule createChild(p): | 37 | rule createChild(p, newPerson): |
| 38 | children(p, newPerson) = unknown, | 38 | may children(p, newPerson), |
| 39 | equals(newPerson, newPerson) = unknown | 39 | may !equals(newPerson, newPerson) |
| 40 | ~> new q, | 40 | ==> new q: newPerson, |
| 41 | children(p, q) = true, | 41 | children(p, q), |
| 42 | taxStatus(q, child) = true. | 42 | taxStatus(q, child). |
| 43 | 43 | ||
| 44 | indiv family. | 44 | indiv family. |
| 45 | Family(family). | 45 | Family(family). |