diff options
author | 2009-11-02 14:11:08 -0500 | |
---|---|---|
committer | 2009-11-02 14:11:08 -0500 | |
commit | 8f8fb8c27b65401c21289299b9b529b1ec3283c9 (patch) | |
tree | 5478ca2d3d314d9a33ce30f1a391dcf03a9a4ff0 /demo/more/conference.urs | |
parent | b960b5b682ec4c2662875f33d20ee9c2b28769e8 (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 |