# HG changeset patch # User Adam Chlipala # Date 1236703480 14400 # Node ID fb2a0e76dcef25db329d480b4ca7a179631f33cd # Parent 1b571a05874cbc84bed47a5981b6ed950d969ced ListEdit demo, minus prose diff -r 1b571a05874c -r fb2a0e76dcef demo/listEdit.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/listEdit.ur Tue Mar 10 12:44:40 2009 -0400 @@ -0,0 +1,54 @@ +datatype rlist = Nil | Cons of {Data : source string, + NewData : source string, + Tail : source rlist} + +fun showString ss = + s <- signal ss; + return {[s]} + +fun show rls = + v <- signal rls; + show' v + +and show' rl = + case rl of + Nil => return + | Cons {Data = ss, NewData = ss', Tail = rls} => return + +