# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1257195262 18000
# Node ID 5dccff15fa62309f3b9f0d94c387df4b55b622a5
# Parent  6bcc1020d5cd1c0a25f81fc0127d323cb5dc7c99
Decision status placeholder

diff -r 6bcc1020d5cd -r 5dccff15fa62 demo/more/conference1.ur
--- 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
diff -r 6bcc1020d5cd -r 5dccff15fa62 demo/more/decision.ur
--- 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>
diff -r 6bcc1020d5cd -r 5dccff15fa62 demo/more/decision.urs
--- 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