diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-25 11:03:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-25 11:03:42 -0400 |
| commit | 5e9435290876dcdfd3c66fb652257f4c3ed50697 (patch) | |
| tree | e33effa1b155c3f40ceb8e3b1a80b937ae126547 /demo/more/conference.ur | |
| parent | e2ffafb9cfaf0bb921bc9bca491214cb464a38d7 (diff) | |
Factor Dnat into separate module
Diffstat (limited to 'demo/more/conference.ur')
| -rw-r--r-- | demo/more/conference.ur | 44 |
1 files changed, 4 insertions, 40 deletions
diff --git a/demo/more/conference.ur b/demo/more/conference.ur index ca5d4a59..0488d52e 100644 --- a/demo/more/conference.ur +++ b/demo/more/conference.ur @@ -76,30 +76,6 @@ functor Make(M : sig val t = user end) - datatype dnat = O | S of source dnat - type dnatS = source dnat - - fun inc n = - v <- get n; - case v of - O => - n' <- source O; - set n (S n') - | S n => inc n - - fun dec n = - let - fun dec' last n = - v <- get n; - case v of - O => (case last of - None => return () - | Some n' => set n' O) - | S n' => dec' (Some n) n' - in - dec' None n - end - fun doRegister r = n <- oneRowE1 (SELECT COUNT( * ) AS N FROM user @@ -203,21 +179,9 @@ functor Make(M : sig return <xml><body> Thanks for submitting! </body></xml> - - fun authorBlanks n = - case n of - O => <xml/> - | S n => <xml> - <entry><b>Author:</b> <textbox{#Nam}/><br/></entry> - <dyn signal={authorBlanksS n}/> - </xml> - - and authorBlanksS n = - n <- signal n; - return (authorBlanks n) in me <- getLogin; - numAuthors <- source O; + numAuthors <- Dnat.zero; return <xml><body> <h1>Submit a Paper</h1> @@ -225,10 +189,10 @@ functor Make(M : sig <form> <b>Author:</b> {[me.Nam]}<br/> <subforms{#Authors}> - <dyn signal={authorBlanksS numAuthors}/> + {Dnat.render <xml><entry><b>Author:</b> <textbox{#Nam}/><br/></entry></xml> numAuthors} </subforms> - <button value="Add author" onclick={inc numAuthors}/><br/> - <button value="Remove author" onclick={dec numAuthors}/><br/> + <button value="Add author" onclick={Dnat.inc numAuthors}/><br/> + <button value="Remove author" onclick={Dnat.dec numAuthors}/><br/> <br/> {useMore (allWidgets M.paper M.paperFolder)} |