Mercurial > urweb
annotate 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 |
| rev | line source |
|---|---|
| adamc@1030 | 1 val decision : Meta.private (option bool) |
| adamc@1030 | 2 |
| adamc@1030 | 3 functor Make (M : sig |
| adamc@1030 | 4 con paperOther :: {Type} |
| adamc@1030 | 5 constraint [Id, Decision] ~ paperOther |
| adamc@1030 | 6 include Conference.INPUT |
| adamc@1030 | 7 where con paper = [Decision = option bool] ++ paperOther |
| adamc@1031 | 8 |
| adamc@1031 | 9 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] [] |
| adamc@1030 | 10 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther |
| adamc@1030 | 11 where con userId = M.userId |
| adamc@1030 | 12 where con paperId = M.paperId |
| adamc@1030 | 13 where con yourPaperTables = [] |