diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-02 14:11:08 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-02 14:11:08 -0500 |
commit | e8bcab2b86d2fd26920eef564832db6226d109fc (patch) | |
tree | 5478ca2d3d314d9a33ce30f1a391dcf03a9a4ff0 /demo/more/conference.urs | |
parent | afc376b19ba6cf922cabf9993df0bb1bdd81299b (diff) |
Saving paper assignments
Diffstat (limited to 'demo/more/conference.urs')
-rw-r--r-- | demo/more/conference.urs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |