Mercurial > urweb
changeset 1031:5dccff15fa62
Decision status placeholder
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 02 Nov 2009 15:54:22 -0500 |
| parents | 6bcc1020d5cd |
| children | 5d9f47124c4c |
| files | demo/more/conference1.ur demo/more/decision.ur demo/more/decision.urs |
| diffstat | 3 files changed, 9 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/demo/more/conference1.ur Mon Nov 02 15:48:06 2009 -0500 +++ b/demo/more/conference1.ur Mon Nov 02 15:54:22 2009 -0500 @@ -17,6 +17,9 @@ structure O2 = Decision.Make(struct con paperOther = _ open M + + fun status [ctx] [[Body] ~ ctx] + r = <xml>!</xml> end) end) end
--- a/demo/more/decision.ur Mon Nov 02 15:48:06 2009 -0500 +++ b/demo/more/decision.ur Mon Nov 02 15:54:22 2009 -0500 @@ -11,6 +11,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) = struct open M @@ -22,6 +24,7 @@ ORDER BY paper.Id) (fn r => <xml><tr> <td>{useMore (summarizePaper (r.Paper -- #Id))}</td> + <td>{useMore (status (r.Paper -- #Id -- #Decision))}</td> <td><entry> <hidden{#Paper} value={show r.Paper.Id}/> <select{#Decision}> @@ -35,7 +38,7 @@ <form><subforms{#Papers}> <table> - <tr> <th>Paper</th> <th>Decision</th> </tr> + <tr> <th>Paper</th> <th>Status</th> <th>Decision</th> </tr> {ps} </table> </subforms></form>
--- 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