adamc@1007: open ConferenceFields adamc@1007: adamc@1003: open Conference.Make(struct adamc@1007: val paper = {Title = title, adamc@1007: Abstract = abstract} adamc@1030: val paperPrivate = {Decision = Decision.decision} adamc@1029: val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: []), adamc@1029: CommentsForAuthors = commentsForAuthors} adamc@1006: adamc@1018: val submissionDeadline = readError "2009-11-22 23:59:59" adamc@1009: adamc@1030: fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title adamc@1022: adamc@1030: functor Make (M : Conference.INPUT where con paper = _) = struct adamc@1030: open Conference.Join(struct adamc@1030: structure O1 = Bid.Make(M) adamc@1030: structure O2 = Decision.Make(struct adamc@1030: con paperOther = _ adamc@1030: open M adamc@1031: adamc@1031: fun status [ctx] [[Body] ~ ctx] adamc@1031: r = ! adamc@1030: end) adamc@1030: end) adamc@1022: end adamc@1003: end)