functor Make(M : Conference.INPUT) = struct open M table bid : {User : userId, Paper : paperId, Interest : char} PRIMARY KEY (User, Paper) table assignment : {User : userId, Paper : paperId} PRIMARY KEY (User, Paper) fun intOut ch = case ch of #"_" => "Maybe" | #"-" => "No" | #"+" => "Yes" | _ => error Bid: Invalid Interest code val linksForChair = let fun assignPapers () = tup <- query (SELECT paper.Id, paper.{{M.paper}}, user.Id, user.Nam, bid.Interest FROM paper JOIN bid ON bid.Paper = paper.Id JOIN user ON bid.User = user.Id ORDER BY paper.Id, bid.Interest, user.Nam) (fn r (pid, int, acc, ints, papers) => if pid = Some r.Paper.Id then if int = r.Bid.Interest then return (pid, int, (r.User.Id, r.User.Nam) :: acc, ints, papers) else return (pid, r.Bid.Interest, (r.User.Id, r.User.Nam) :: [], (int, acc) :: ints, papers) else return (Some r.Paper.Id, r.Bid.Interest, (r.User.Id, r.User.Nam) :: [], [], case pid of None => papers | Some pid => (pid, (int, acc) :: ints) :: papers)) (None, #" ", [], [], []); let val papersL = case tup.1 of Some pid => (pid, (tup.2, tup.3) :: tup.4) :: tup.5 | _ => [] fun makePapers () = List.mapM (fn (pid, ints) => ints <- List.mapM (fn (int, users) => cg <- CheckGroup.create (List.mp (fn (id, nam) => (id, txt nam, False)) users); ex <- Expandable.create (CheckGroup.render cg); return (int, cg, ex)) ints; return (pid, ints)) papersL in papers <- source []; return

Assign papers

Paper #{[pid]}: this <- CheckGroup.selected cg; total <- total; return (List.length this + total)) (return 0) ints; return (txt n)}/>
{List.mapX (fn (int, _, ex) => {[intOut int]}: {Expandable.render ex} ) ints} ) papers)}/> end in
  • Assign papers to people
    •  end val linksForPc = let fun yourBids () = me <- getPcLogin; ps <- queryX (SELECT paper.Id, paper.{{M.paper}}, bid.Interest FROM paper LEFT JOIN bid ON bid.Paper = paper.Id AND bid.User = {[me.Id]}) (fn r => {useMore (summarizePaper (r.Paper -- #Id))} {useMore (Select.selectChar ((#"-", "No") :: (#"_", "Maybe") :: (#"+", "Yes") :: []) r.Bid.Interest)} ); return

    Bid on papers

    {ps}
    Paper Your Bid
    and changeBids r = me <- getPcLogin; List.app (fn {Paper = p, Bid = b} => case b of "" => return () | _ => let val p = readError p in (dml (DELETE FROM bid WHERE Paper = {[p]} AND User = {[me.Id]}); dml (INSERT INTO bid (Paper, User, Interest) VALUES ({[p]}, {[me.Id]}, {[String.sub b 0]}))) end) r.Papers; yourBids () in
  • Bid on papers
    •  end con yourPaperTables = [Assignment = _] constraint [Paper] ~ yourPaperTables fun joinYourPaper [tabs] [paper] [[Paper] ~ tabs] [[Paper] ~ _] [tabs ~ yourPaperTables] [[Id] ~ paper] (fi : sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)) = sql_inner_join fi (sql_from_table [#Assignment] assignment) (WHERE Paper.Id = Assignment.Paper) end