diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-11 01:03:21 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:10 +0100 |
| commit | 299c4d93597b3065e6a1017ebe692cde66fc5e39 (patch) | |
| tree | 57d634cec30ca37f0af81a37c3011e027589c35c /language-web/src/main/js/index.tsx | |
| parent | feat(web): add CodeMirror 6 editor (diff) | |
| download | refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.tar.gz refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.tar.zst refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.zip | |
feat(web): experiment with Lezer parser
Diffstat (limited to 'language-web/src/main/js/index.tsx')
| -rw-r--r-- | language-web/src/main/js/index.tsx | 6 |
1 files changed, 5 insertions, 1 deletions
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 { | |||
| 25 | 25 | ||
| 26 | % A child cannot have any dependents. | 26 | % A child cannot have any dependents. |
| 27 | error invalidTaxStatus(Person p) <-> | 27 | error invalidTaxStatus(Person p) <-> |
| 28 | taxStatus(p, child), children(p, _q). | 28 | taxStatus(p, child), |
| 29 | children(p, _q) | ||
| 30 | ; taxStatus(p, retired), | ||
| 31 | parent(p, q), | ||
| 32 | !taxStatus(q, retired). | ||
| 29 | 33 | ||
| 30 | unique family. | 34 | unique family. |
| 31 | Family(family). | 35 | Family(family). |