Ur/Web: demo/more/conference1.ur annotate

Start of Decision

author	Adam Chlipala <adamc@hcoop.net>
date	Mon, 02 Nov 2009 15:48:06 -0500
parents	53a22f46f377
children	5dccff15fa62

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@1030	20 end)
adamc@1030	21 end)
adamc@1022	22 end
adamc@1003	23 end)

Mercurial > urweb