diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-30 20:14:50 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:14 +0100 |
| commit | cbf442d8fd9f72c567ebf9f036a219a9ff100487 (patch) | |
| tree | a128345d9a9863bef7f3670da585bcb62d13cb34 /language-web/src/main/js/index.tsx | |
| parent | feat(web): show error count on generate button (diff) | |
| download | refinery-cbf442d8fd9f72c567ebf9f036a219a9ff100487.tar.gz refinery-cbf442d8fd9f72c567ebf9f036a219a9ff100487.tar.zst refinery-cbf442d8fd9f72c567ebf9f036a219a9ff100487.zip | |
feat(web): semantic highlighting
Diffstat (limited to 'language-web/src/main/js/index.tsx')
| -rw-r--r-- | language-web/src/main/js/index.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx index 1b24eadb..13a62af0 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx | |||
| @@ -24,7 +24,7 @@ enum TaxStatus { | |||
| 24 | } | 24 | } |
| 25 | 25 | ||
| 26 | % A child cannot have any dependents. | 26 | % A child cannot have any dependents. |
| 27 | error invalidTaxStatus(Person p) <-> | 27 | pred invalidTaxStatus(Person p) <-> |
| 28 | taxStatus(p, child), | 28 | taxStatus(p, child), |
| 29 | children(p, _q) | 29 | children(p, _q) |
| 30 | ; taxStatus(p, retired), | 30 | ; taxStatus(p, retired), |