diff options
author | 2022-09-04 22:07:32 +0200 | |
---|---|---|
committer | 2022-09-06 01:05:24 +0200 | |
commit | 7d8fe163fd4289787c9cb690db57a07b6b09095d (patch) | |
tree | b100009a3af51eda3407f8b87f1b991a2bcab444 /subprojects/frontend/src/index.tsx | |
parent | refactor(frontend): Inter font (diff) | |
download | refinery-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.tsx | 6 |
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 { | |||
33 | pred invalidTaxStatus(Person p) <-> | 33 | pred 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 | ||
40 | rule createChild(may Person p, must Person newPerson): | 41 | rule 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 | ||