Mercurial > urweb

comparison demo/more/conference1.ur @ 1032:5d9f47124c4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Saving paper decisions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 07 Nov 2009 11:06:38 -0500
parents 5dccff15fa62
children
comparison
equal deleted inserted replaced
1031:5dccff15fa62 1032:5d9f47124c4c
8 CommentsForAuthors = commentsForAuthors} 8 CommentsForAuthors = commentsForAuthors}
9 9
10 val submissionDeadline = readError "2009-11-22 23:59:59" 10 val submissionDeadline = readError "2009-11-22 23:59:59"
11 11
12 fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title 12 fun summarizePaper [ctx] [[Body] ~ ctx] r = txt r.Title
13 functor Make (M : Conference.INPUT where con paper = _
14 where con review = _) = struct
15 open M
13 16
14 functor Make (M : Conference.INPUT where con paper = _) = struct 17 fun status [ctx] [[Body] ~ ctx] r =
18 queryX (SELECT review.Rating
19 FROM review
20 WHERE review.Paper = {[r.Id]})
21 (fn r => <xml>{[r.Review.Rating]}; </xml>)
22
15 open Conference.Join(struct 23 open Conference.Join(struct
16 structure O1 = Bid.Make(M) 24 structure O1 = Bid.Make(M)
17 structure O2 = Decision.Make(struct 25 structure O2 = Decision.Make(struct
18 con paperOther = _ 26 con paperOther = _
19 open M 27 open M
20 28
21 fun status [ctx] [[Body] ~ ctx] 29 val status = @@status
22 r = <xml>!</xml>
23 end) 30 end)
24 end) 31 end)
25 end 32 end
26 end) 33 end)