Mercurial > urweb

comparison demo/more/conference1.ur @ 1030:6bcc1020d5cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Decision
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:48:06 -0500
parents 53a22f46f377
children 5dccff15fa62
comparison
equal deleted inserted replaced
1029:53a22f46f377 1030:6bcc1020d5cd
1 open ConferenceFields 1 open ConferenceFields
2 2
3 open Conference.Make(struct 3 open Conference.Make(struct
4 val paper = {Title = title, 4 val paper = {Title = title,
5 Abstract = abstract} 5 Abstract = abstract}
6 val paperPrivate = {Decision = Decision.decision}
6 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: []), 7 val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: []),
7 CommentsForAuthors = commentsForAuthors} 8 CommentsForAuthors = commentsForAuthors}
8 9
9 val submissionDeadline = readError "2009-11-22 23:59:59" 10 val submissionDeadline = readError "2009-11-22 23:59:59"
10 11
11 fun summarizePaper [ctx] [[Body] ~ ctx] r = cdata r.Title 12 fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title
12 13
13 functor Make (M : Conference.INPUT where con paper = [Title = string, Abstract = string]) = struct 14 functor Make (M : Conference.INPUT where con paper = _) = struct
14 open Bid.Make(M) 15 open Conference.Join(struct
16 structure O1 = Bid.Make(M)
17 structure O2 = Decision.Make(struct
18 con paperOther = _
19 open M
20 end)
21 end)
15 end 22 end
16 end) 23 end)