Mercurial > urweb

annotate demo/more/conference1.ur @ 1031:5dccff15fa62

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Decision status placeholder
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:54:22 -0500
parents 6bcc1020d5cd
children 5d9f47124c4c
rev   line source
adamc@1007 1 open ConferenceFields
adamc@1007 2
adamc@1003 3 open Conference.Make(struct
adamc@1007 4 val paper = {Title = title,
adamc@1007 5 Abstract = abstract}
adamc@1030 6 val paperPrivate = {Decision = Decision.decision}
adamc@1029 7 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: []),
adamc@1029 8 CommentsForAuthors = commentsForAuthors}
adamc@1006 9
adamc@1018 10 val submissionDeadline = readError "2009-11-22 23:59:59"
adamc@1009 11
adamc@1030 12 fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title
adamc@1022 13
adamc@1030 14 functor Make (M : Conference.INPUT where con paper = _) = struct
adamc@1030 15 open Conference.Join(struct
adamc@1030 16 structure O1 = Bid.Make(M)
adamc@1030 17 structure O2 = Decision.Make(struct
adamc@1030 18 con paperOther = _
adamc@1030 19 open M
adamc@1031 20
adamc@1031 21 fun status [ctx] [[Body] ~ ctx]
adamc@1031 22 r = <xml>!</xml>
adamc@1030 23 end)
adamc@1030 24 end)
adamc@1022 25 end
adamc@1003 26 end)