adamc@1030: val decision = {Nam = "Decision", adamc@1030: Initialize = None, adamc@1030: Show = fn bo => cdata (case bo of adamc@1030: None => "?" adamc@1030: | Some True => "Accept" adamc@1030: | Some False => "Reject"), adamc@1030: Inject = _} adamc@1030: adamc@1030: functor Make(M : sig adamc@1030: con paperOther :: {Type} adamc@1030: constraint [Id, Decision] ~ paperOther adamc@1030: include Conference.INPUT adamc@1030: where con paper = [Decision = option bool] ++ paperOther adamc@1031: adamc@1031: val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] [] adamc@1030: end) = struct adamc@1030: open M adamc@1030: adamc@1030: val linksForChair = adamc@1030: let adamc@1030: fun makeDecisions () = adamc@1030: ps <- queryX (SELECT paper.Id, paper.Decision, paper.{{M.paperOther}} adamc@1030: FROM paper adamc@1030: ORDER BY paper.Id) adamc@1030: (fn r => adamc@1030: {useMore (summarizePaper (r.Paper -- #Id))} adamc@1031: {useMore (status (r.Paper -- #Id -- #Decision))} adamc@1030: adamc@1030: adamc@1030: adamc@1030: adamc@1030: adamc@1030: adamc@1030: adamc@1030: ); adamc@1030: return adamc@1030:

Make acceptance decisions

adamc@1030: adamc@1030:

adamc@1030: adamc@1031: adamc@1030: {ps} adamc@1030:

Paper	Status	Decision

adamc@1030: adamc@1030:

adamc@1030: in adamc@1030: adamc@1030:

Make acceptance decisions

adamc@1030: adamc@1030: end adamc@1030: adamc@1030: val linksForPc = adamc@1030: adamc@1030: con yourPaperTables = [] adamc@1030: constraint [Paper] ~ yourPaperTables adamc@1030: fun joinYourPaper [tabs] [paper] [[Paper] ~ tabs] [[Paper] ~ _] [tabs ~ yourPaperTables] [[Id] ~ paper] adamc@1030: uid (fi : sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)) = fi adamc@1030: end