From 18c2f489867bf282c49346eb090b22e41ec5f67a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 12:44:40 -0400 Subject: ListEdit demo, minus prose --- demo/listEdit.ur | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) create mode 100644 demo/listEdit.ur (limited to 'demo/listEdit.ur') diff --git a/demo/listEdit.ur b/demo/listEdit.ur new file mode 100644 index 00000000..1a9851a7 --- /dev/null +++ b/demo/listEdit.ur @@ -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 + +