changeset 1031:5dccff15fa62

Decision status placeholder
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:54:22 -0500 (2009-11-02)
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