From e1d6802843960e911f19c7e9c4a4b626ae854b90 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 11 Oct 2021 01:42:22 +0200 Subject: feat(web): simplify contextual parsing * More relaxted parsing in the browser for stable variable/node identifier classification. * String support in the browser. * contains, refers, and opposite keywords are no longer contextual, which simplifies parsing in the browser. --- language-web/src/main/js/index.tsx | 2 +- 1 file changed, 1 insertion(+), 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 1b24eadb..9316db4d 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx @@ -26,7 +26,7 @@ enum TaxStatus { % A child cannot have any dependents. error invalidTaxStatus(Person p) <-> taxStatus(p, child), - children(p, _q) + children(p, _q), ; taxStatus(p, retired), parent(p, q), !taxStatus(q, retired). -- cgit v1.2.3-54-g00ecf