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.ur | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'demo/more/conference.ur') 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), -- cgit v1.2.3