diff demo/more/decision.ur @ 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.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>