diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-22 11:37:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 11:37:58 -0400 |
| commit | d2ddd6abe74aa089e261c051b3ddf6c182dce011 (patch) | |
| tree | d01adf8864ff4c51397dad698c541b0d3c38b0f2 /demo/more/conference.ur | |
| parent | cf42469778104a3079191c6e871954ffb3b5c957 (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 |