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@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@1030:
adamc@1030:
adamc@1030:
adamc@1030:
);
adamc@1030: return
adamc@1030:
Make acceptance decisions
adamc@1030:
adamc@1030:
adamc@1030:
adamc@1030: in
adamc@1030:
adamc@1030: