From 299c4d93597b3065e6a1017ebe692cde66fc5e39 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Mon, 11 Oct 2021 01:03:21 +0200
Subject: feat(web): experiment with Lezer parser

---
 language-web/src/main/js/index.tsx | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'language-web/src/main/js/index.tsx')

diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx
index 66ad1f28..1b24eadb 100644
--- a/language-web/src/main/js/index.tsx
+++ b/language-web/src/main/js/index.tsx
@@ -25,7 +25,11 @@ enum TaxStatus {
 
 % A child cannot have any dependents.
 error invalidTaxStatus(Person p) <->
-  taxStatus(p, child), children(p, _q).
+  taxStatus(p, child),
+  children(p, _q)
+; taxStatus(p, retired),
+  parent(p, q),
+  !taxStatus(q, retired).
 
 unique family.
 Family(family).
-- 
cgit v1.2.3-54-g00ecf