Mercurial > urweb
view demo/more/decision.urs @ 1319:c17e6144510b
Fix RPC deserialization of channels
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 19 Nov 2010 17:06:11 -0500 |
parents | 5d9f47124c4c |
children |
line wrap: on
line source
val decision : Meta.private (option bool) functor Make (M : sig con paperOther :: {Type} constraint [Id, Decision] ~ paperOther include Conference.INPUT where con paper = [Decision = option bool] ++ paperOther val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $([Id = paperId] ++ paperOther) -> transaction (xml ([Body] ++ ctx) [] []) end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther where con userId = M.userId where con paperId = M.paperId where con yourPaperTables = []