From 8f8fb8c27b65401c21289299b9b529b1ec3283c9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 2 Nov 2009 14:11:08 -0500 Subject: Saving paper assignments --- demo/more/conference.urs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'demo/more/conference.urs') diff --git a/demo/more/conference.urs b/demo/more/conference.urs index 2f24bac8..16e6732f 100644 --- a/demo/more/conference.urs +++ b/demo/more/conference.urs @@ -35,7 +35,8 @@ signature OUTPUT = sig constraint [Paper] ~ yourPaperTables val joinYourPaper : tabs ::: {{Type}} -> paper ::: {Type} -> [[Paper] ~ tabs] => [[Paper] ~ yourPaperTables] => [tabs ~ yourPaperTables] => [[Id] ~ paper] => - sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs) + userId (* Current user *) + -> sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs) -> sql_from_items (yourPaperTables ++ [Paper = [Id = paperId] ++ paper] ++ tabs) end -- cgit v1.2.3