From 4f9024019d78bebec6926d19da0361587c88bd03 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 13:57:09 -0400 Subject: Increment demo --- demo/increment.ur | 10 ++++++++++ demo/increment.urp | 4 ++++ demo/increment.urs | 1 + demo/prose | 4 ++++ include/urweb.h | 6 +++--- 5 files changed, 22 insertions(+), 3 deletions(-) create mode 100644 demo/increment.ur create mode 100644 demo/increment.urp create mode 100644 demo/increment.urs diff --git a/demo/increment.ur b/demo/increment.ur new file mode 100644 index 00000000..a74e80df --- /dev/null +++ b/demo/increment.ur @@ -0,0 +1,10 @@ +sequence seq + +fun increment () = nextval seq + +fun main () = + src <- source 0; + return + {[n]}}/> +