From 66a7758d4838a76a7979420f1674f8fbd664e3f2 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 10 Aug 2022 18:33:20 +0200
Subject: feat(language): modal parameter types

---
 subprojects/frontend/src/index.tsx                | 2 +-
 subprojects/frontend/src/language/problem.grammar | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'subprojects/frontend')

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 78e469cd..152c0bf7 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -34,7 +34,7 @@ pred invalidTaxStatus(Person p) <->
     parent(p, q),
     !taxStatus(q, retired).
 
-rule createChild(p, newPerson):
+rule createChild(may Person p, must Person newPerson):
     may children(p, newPerson),
     may !equals(newPerson, newPerson)
 ==> new q <: newPerson,
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index f3794e27..ac0b0ea3 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -51,7 +51,7 @@ ReferenceDeclaration {
   ";"?
 }
 
-Parameter { RelationName? VariableName }
+Parameter { Modality? RelationName? VariableName }
 
 Conjunction { ("," | Literal)+ }
 
-- 
cgit v1.2.3-70-g09d2