# HG changeset patch # User Adam Chlipala # Date 1256483022 14400 # Node ID e47303e5d73db910e694079cdaabb5e9edf5faab # Parent ea9f03ac2710ad544427723cf78706eb014cade3 Factor Dnat into separate module diff -r ea9f03ac2710 -r e47303e5d73d demo/more/conference.ur --- a/demo/more/conference.ur Thu Oct 22 17:36:30 2009 -0400 +++ b/demo/more/conference.ur Sun Oct 25 11:03:42 2009 -0400 @@ -76,30 +76,6 @@ 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 @@ return Thanks for submitting! - - fun authorBlanks n = - case n of - O => - | S n => - Author:
- - - - and authorBlanksS n = - n <- signal n; - return (authorBlanks n) in me <- getLogin; - numAuthors <- source O; + numAuthors <- Dnat.zero; return

Submit a Paper

@@ -225,10 +189,10 @@
Author: {[me.Nam]}
- + {Dnat.render Author:
numAuthors} -