Mercurial > urweb

diff demo/more/decision.urs @ 1032:5d9f47124c4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Saving paper decisions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 07 Nov 2009 11:06:38 -0500
parents 5dccff15fa62
children
line wrap: on
line diff
--- a/demo/more/decision.urs	Mon Nov 02 15:54:22 2009 -0500
+++ b/demo/more/decision.urs	Sat Nov 07 11:06:38 2009 -0500
@@ -6,7 +6,8 @@
                   include Conference.INPUT
                           where con paper = [Decision = option bool] ++ paperOther
 
-                  val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] []
+                  val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $([Id = paperId] ++ paperOther)
+                                                                   -> transaction (xml ([Body] ++ ctx) [] [])
               end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther
                                        where con userId = M.userId
                                        where con paperId = M.paperId