Mercurial > urweb
comparison demo/more/decision.urs @ 1031:5dccff15fa62
Decision status placeholder
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 02 Nov 2009 15:54:22 -0500 |
parents | 6bcc1020d5cd |
children | 5d9f47124c4c |
comparison
equal
deleted
inserted
replaced
1030:6bcc1020d5cd | 1031:5dccff15fa62 |
---|---|
3 functor Make (M : sig | 3 functor Make (M : sig |
4 con paperOther :: {Type} | 4 con paperOther :: {Type} |
5 constraint [Id, Decision] ~ paperOther | 5 constraint [Id, Decision] ~ paperOther |
6 include Conference.INPUT | 6 include Conference.INPUT |
7 where con paper = [Decision = option bool] ++ paperOther | 7 where con paper = [Decision = option bool] ++ paperOther |
8 | |
9 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] [] | |
8 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther | 10 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther |
9 where con userId = M.userId | 11 where con userId = M.userId |
10 where con paperId = M.paperId | 12 where con paperId = M.paperId |
11 where con yourPaperTables = [] | 13 where con yourPaperTables = [] |