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 | 8f8fb8c27b65401c21289299b9b529b1ec3283c9 (patch) | |
| tree | 5478ca2d3d314d9a33ce30f1a391dcf03a9a4ff0 /demo/more/conference.ur | |
| parent | b960b5b682ec4c2662875f33d20ee9c2b28769e8 (diff) | |
Saving paper assignments
Diffstat (limited to 'demo/more/conference.ur')
| -rw-r--r-- | demo/more/conference.ur | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/demo/more/conference.ur b/demo/more/conference.ur index 7b3d3d71..7de3fc51 100644 --- a/demo/more/conference.ur +++ b/demo/more/conference.ur @@ -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 + -> sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs) -> sql_from_items (yourPaperTables ++ [Paper = [Id = paperId] ++ paper] ++ tabs) end @@ -305,7 +306,7 @@ functor Make(M : sig and your () = me <- getLogin; listPapers (sql_query {Rows = sql_query1 {Distinct = False, - From = O.joinYourPaper (sql_from_table [#Paper] paper), + From = O.joinYourPaper me.Id (sql_from_table [#Paper] paper), Where = (WHERE TRUE), GroupBy = sql_subset_all [_], Having = (WHERE TRUE), |