# HG changeset patch # User Adam Chlipala # Date 1236707829 14400 # Node ID 3c6d535d3d8bd76ffcc07bb69ce417ac729541ac # Parent ae374df5ccbdedb6850d5024debc12150e11ae91 Increment demo diff -r ae374df5ccbd -r 3c6d535d3d8b demo/increment.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/increment.ur Tue Mar 10 13:57:09 2009 -0400 @@ -0,0 +1,10 @@ +sequence seq + +fun increment () = nextval seq + +fun main () = + src <- source 0; + return + {[n]}}/> +