From 5e9435290876dcdfd3c66fb652257f4c3ed50697 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 25 Oct 2009 11:03:42 -0400 Subject: Factor Dnat into separate module --- demo/more/conference.ur | 44 ++++---------------------------------------- demo/more/conference.urp | 1 + demo/more/dnat.ur | 42 ++++++++++++++++++++++++++++++++++++++++++ demo/more/dnat.urs | 8 ++++++++ 4 files changed, 55 insertions(+), 40 deletions(-) create mode 100644 demo/more/dnat.ur create mode 100644 demo/more/dnat.urs (limited to 'demo') 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 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 @@ functor Make(M : sig
Author: {[me.Nam]}
- + {Dnat.render Author:
numAuthors} -