summaryrefslogtreecommitdiff
path: root/demo/more/conference.ur
diff options
context:
space:
mode:
Diffstat (limited to 'demo/more/conference.ur')
-rw-r--r--demo/more/conference.ur15
1 files changed, 12 insertions, 3 deletions
diff --git a/demo/more/conference.ur b/demo/more/conference.ur
index 8d06e4cf..0a540fa0 100644
--- a/demo/more/conference.ur
+++ b/demo/more/conference.ur
@@ -2,8 +2,9 @@ open Meta
functor Make(M : sig
con paper :: {(Type * Type)}
- constraint [Id, Title] ~ paper
+ constraint [Id] ~ paper
val paper : $(map meta paper)
+ val paperFolder : folder paper
con review :: {(Type * Type)}
constraint [Paper, User] ~ review
@@ -17,7 +18,7 @@ functor Make(M : sig
CONSTRAINT Nam UNIQUE Nam
sequence userId
- con paper = [Id = int, Title = string] ++ map fst M.paper
+ con paper = [Id = int] ++ map fst M.paper
table paper : paper
PRIMARY KEY Id
sequence paperId
@@ -122,7 +123,7 @@ functor Make(M : sig
<xml/>}
{if now < M.submissionDeadline then
- <xml><li>Submit</li></xml>
+ <xml><li><a link={submit ()}>Submit</a></li></xml>
else
<xml/>}
</xml>}
@@ -132,4 +133,12 @@ functor Make(M : sig
m <- main' ();
return <xml><body>{m}</body></xml>
+ and submit () = return <xml><body>
+ <h1>Submit a Paper</h1>
+
+ <form>
+ {allWidgets M.paper M.paperFolder}
+ </form>
+ </body></xml>
+
end