summaryrefslogtreecommitdiff
path: root/demo/more/decision.urs
diff options
context:
space:
mode:
Diffstat (limited to 'demo/more/decision.urs')
-rw-r--r--demo/more/decision.urs11
1 files changed, 11 insertions, 0 deletions
diff --git a/demo/more/decision.urs b/demo/more/decision.urs
new file mode 100644
index 00000000..d3ac0d46
--- /dev/null
+++ b/demo/more/decision.urs
@@ -0,0 +1,11 @@
+val decision : Meta.private (option bool)
+
+functor Make (M : sig
+ con paperOther :: {Type}
+ constraint [Id, Decision] ~ paperOther
+ include Conference.INPUT
+ where con paper = [Decision = option bool] ++ paperOther
+ end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther
+ where con userId = M.userId
+ where con paperId = M.paperId
+ where con yourPaperTables = []