From f0214f17a31d31609e45dbe0dc7dd6ceb98b21fe Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 20 Aug 2021 18:36:01 +0200 Subject: Simplify node naming --- language-web/src/main/css/index.scss | 2 +- language-web/src/main/js/index.jsx | 12 +++++++----- 2 files changed, 8 insertions(+), 6 deletions(-) (limited to 'language-web') diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index 3ed91824..c92588b8 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss @@ -127,7 +127,7 @@ li.CodeMirror-hint-active { font-weight: 700; } -.cm-quoted-name, .problem-enum-node { +.problem-unique-node { @extend .cm-atom; } diff --git a/language-web/src/main/js/index.jsx b/language-web/src/main/js/index.jsx index b3277a30..40b02b14 100644 --- a/language-web/src/main/js/index.jsx +++ b/language-web/src/main/js/index.jsx @@ -25,15 +25,17 @@ enum TaxStatus { } % A child cannot have any dependents. -error invalidTaxStatus(Person p) <=> +error invalidTaxStatus(Person p) <-> taxStatus(p, child), children(p, _q). -Family('family'). -members('family', anne). -members('family', bob). -members('family', ciri). +unique family. +Family(family). +members(family, anne). +members(family, bob). +members(family, ciri). children(anne, ciri). ?children(bob, ciri). +default children(ciri, *): false. taxStatus(anne, adult). age(anne, 35). bobAge: 27. -- cgit v1.2.3-70-g09d2