Mercurial > urweb
diff demo/more/decision.urs @ 1031:5dccff15fa62
Decision status placeholder
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 02 Nov 2009 15:54:22 -0500 |
parents | 6bcc1020d5cd |
children | 5d9f47124c4c |
line wrap: on
line diff
--- a/demo/more/decision.urs Mon Nov 02 15:48:06 2009 -0500 +++ b/demo/more/decision.urs Mon Nov 02 15:54:22 2009 -0500 @@ -5,6 +5,8 @@ constraint [Id, Decision] ~ paperOther include Conference.INPUT where con paper = [Decision = option bool] ++ paperOther + + val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] [] end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther where con userId = M.userId where con paperId = M.paperId