diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-07 11:06:38 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-07 11:06:38 -0500 |
commit | 9152a4e4a85d357e5bb289251512560a61eeb2d0 (patch) | |
tree | 885b8f1689795cdad800ee601cf741f9b4145088 /demo/more/conference.urs | |
parent | ba68c8b40a233798be343c6154d11c165a5b1489 (diff) |
Saving paper decisions
Diffstat (limited to 'demo/more/conference.urs')
-rw-r--r-- | demo/more/conference.urs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/demo/more/conference.urs b/demo/more/conference.urs index 8ecb1692..de35ad05 100644 --- a/demo/more/conference.urs +++ b/demo/more/conference.urs @@ -16,6 +16,11 @@ signature INPUT = sig table paper : ([Id = paperId, Document = blob] ++ paper) PRIMARY KEY Id + con review :: {Type} + constraint [Paper, User] ~ review + table review : ([Paper = paperId, User = userId] ++ review) + PRIMARY KEY (Paper, User) + val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool}) val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool} val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool} @@ -61,7 +66,8 @@ functor Make(M : sig val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $(map fst paper ++ paperPrivate) -> xml ([Body] ++ ctx) [] [] - functor Make (M : INPUT where con paper = map fst paper ++ paperPrivate) + functor Make (M : INPUT where con paper = map fst paper ++ paperPrivate + where con review = map fst review) : OUTPUT where con paper = map fst paper ++ paperPrivate where con userId = M.userId where con paperId = M.paperId |