Mercurial > urweb

comparison demo/more/conference.urs @ 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 6bcc1020d5cd
children
comparison
equal deleted inserted replaced
1031:5dccff15fa62 1032:5d9f47124c4c
13 val paperId_show : show paperId 13 val paperId_show : show paperId
14 val paperId_read : read paperId 14 val paperId_read : read paperId
15 val paperId_eq : eq paperId 15 val paperId_eq : eq paperId
16 table paper : ([Id = paperId, Document = blob] ++ paper) 16 table paper : ([Id = paperId, Document = blob] ++ paper)
17 PRIMARY KEY Id 17 PRIMARY KEY Id
18
19 con review :: {Type}
20 constraint [Paper, User] ~ review
21 table review : ([Paper = paperId, User = userId] ++ review)
22 PRIMARY KEY (Paper, User)
18 23
19 val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool}) 24 val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool})
20 val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool} 25 val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool}
21 val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool} 26 val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool}
22 val checkChair : transaction unit 27 val checkChair : transaction unit
59 64
60 val submissionDeadline : time 65 val submissionDeadline : time
61 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $(map fst paper ++ paperPrivate) 66 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $(map fst paper ++ paperPrivate)
62 -> xml ([Body] ++ ctx) [] [] 67 -> xml ([Body] ++ ctx) [] []
63 68
64 functor Make (M : INPUT where con paper = map fst paper ++ paperPrivate) 69 functor Make (M : INPUT where con paper = map fst paper ++ paperPrivate
70 where con review = map fst review)
65 : OUTPUT where con paper = map fst paper ++ paperPrivate 71 : OUTPUT where con paper = map fst paper ++ paperPrivate
66 where con userId = M.userId 72 where con userId = M.userId
67 where con paperId = M.paperId 73 where con paperId = M.paperId
68 end) : sig 74 end) : sig
69 75