aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/index.tsx
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2022-09-04 22:07:32 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2022-09-06 01:05:24 +0200
commit7d8fe163fd4289787c9cb690db57a07b6b09095d (patch)
treeb100009a3af51eda3407f8b87f1b991a2bcab444 /subprojects/frontend/src/index.tsx
parentrefactor(frontend): Inter font (diff)
downloadrefinery-7d8fe163fd4289787c9cb690db57a07b6b09095d.tar.gz
refinery-7d8fe163fd4289787c9cb690db57a07b6b09095d.tar.zst
refinery-7d8fe163fd4289787c9cb690db57a07b6b09095d.zip
refactor(frontend): more readable indentation
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
-rw-r--r--subprojects/frontend/src/index.tsx6
1 files changed, 4 insertions, 2 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 9f413b85..602a68ef 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -33,14 +33,16 @@ enum TaxStatus {
33pred invalidTaxStatus(Person p) <-> 33pred invalidTaxStatus(Person p) <->
34 taxStatus(p, child), 34 taxStatus(p, child),
35 children(p, _q) 35 children(p, _q)
36 ; taxStatus(p, retired), 36;
37 taxStatus(p, retired),
37 parent(p, q), 38 parent(p, q),
38 !taxStatus(q, retired). 39 !taxStatus(q, retired).
39 40
40rule createChild(may Person p, must Person newPerson): 41rule createChild(may Person p, must Person newPerson):
41 may children(p, newPerson), 42 may children(p, newPerson),
42 may !equals(newPerson, newPerson) 43 may !equals(newPerson, newPerson)
43==> new q <: newPerson, 44==>
45 new q <: newPerson,
44 children(p, q), 46 children(p, q),
45 taxStatus(q, child). 47 taxStatus(q, child).
46 48