adamc@1030
|
1 val decision = {Nam = "Decision",
|
adamc@1030
|
2 Initialize = None,
|
adamc@1030
|
3 Show = fn bo => cdata (case bo of
|
adamc@1030
|
4 None => "?"
|
adamc@1030
|
5 | Some True => "Accept"
|
adamc@1030
|
6 | Some False => "Reject"),
|
adamc@1030
|
7 Inject = _}
|
adamc@1030
|
8
|
adamc@1030
|
9 functor Make(M : sig
|
adamc@1030
|
10 con paperOther :: {Type}
|
adamc@1030
|
11 constraint [Id, Decision] ~ paperOther
|
adamc@1030
|
12 include Conference.INPUT
|
adamc@1030
|
13 where con paper = [Decision = option bool] ++ paperOther
|
adamc@1031
|
14
|
adamc@1031
|
15 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] []
|
adamc@1030
|
16 end) = struct
|
adamc@1030
|
17 open M
|
adamc@1030
|
18
|
adamc@1030
|
19 val linksForChair =
|
adamc@1030
|
20 let
|
adamc@1030
|
21 fun makeDecisions () =
|
adamc@1030
|
22 ps <- queryX (SELECT paper.Id, paper.Decision, paper.{{M.paperOther}}
|
adamc@1030
|
23 FROM paper
|
adamc@1030
|
24 ORDER BY paper.Id)
|
adamc@1030
|
25 (fn r => <xml><tr>
|
adamc@1030
|
26 <td>{useMore (summarizePaper (r.Paper -- #Id))}</td>
|
adamc@1031
|
27 <td>{useMore (status (r.Paper -- #Id -- #Decision))}</td>
|
adamc@1030
|
28 <td><entry>
|
adamc@1030
|
29 <hidden{#Paper} value={show r.Paper.Id}/>
|
adamc@1030
|
30 <select{#Decision}>
|
adamc@1030
|
31 <option selected={r.Paper.Decision = None}>?</option>
|
adamc@1030
|
32 <option selected={r.Paper.Decision = Some True}>Accept</option>
|
adamc@1030
|
33 <option selected={r.Paper.Decision = Some False}>Reject</option>
|
adamc@1030
|
34 </select></entry></td>
|
adamc@1030
|
35 </tr></xml>);
|
adamc@1030
|
36 return <xml><body>
|
adamc@1030
|
37 <h1>Make acceptance decisions</h1>
|
adamc@1030
|
38
|
adamc@1030
|
39 <form><subforms{#Papers}>
|
adamc@1030
|
40 <table>
|
adamc@1031
|
41 <tr> <th>Paper</th> <th>Status</th> <th>Decision</th> </tr>
|
adamc@1030
|
42 {ps}
|
adamc@1030
|
43 </table>
|
adamc@1030
|
44 </subforms></form>
|
adamc@1030
|
45 </body></xml>
|
adamc@1030
|
46 in
|
adamc@1030
|
47 <xml>
|
adamc@1030
|
48 <li><a link={makeDecisions ()}>Make acceptance decisions</a></li>
|
adamc@1030
|
49 </xml>
|
adamc@1030
|
50 end
|
adamc@1030
|
51
|
adamc@1030
|
52 val linksForPc = <xml/>
|
adamc@1030
|
53
|
adamc@1030
|
54 con yourPaperTables = []
|
adamc@1030
|
55 constraint [Paper] ~ yourPaperTables
|
adamc@1030
|
56 fun joinYourPaper [tabs] [paper] [[Paper] ~ tabs] [[Paper] ~ _] [tabs ~ yourPaperTables] [[Id] ~ paper]
|
adamc@1030
|
57 uid (fi : sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)) = fi
|
adamc@1030
|
58 end
|