diff options
author | 2009-10-22 11:37:58 -0400 | |
---|---|---|
committer | 2009-10-22 11:37:58 -0400 | |
commit | 7726688ab1c0bd5b73c4bb756fa6357b2212e44e (patch) | |
tree | d01adf8864ff4c51397dad698c541b0d3c38b0f2 /demo/more/conference.ur | |
parent | 78ec4fdf7ff7bf9e53732228aaa5928e4be519a9 (diff) |
Title and abstract
Diffstat (limited to 'demo/more/conference.ur')
-rw-r--r-- | demo/more/conference.ur | 15 |
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 |