# HG changeset patch # User Adam Chlipala # Date 1232204112 18000 # Node ID 1a9171e31fd18c127461245a141be47ab5d76716 # Parent 20c0833273645808fda51461ecc57d8a70e10780 dlist2 working swimmingly diff -r 20c083327364 -r 1a9171e31fd1 tests/dlist2.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/dlist2.ur Sat Jan 17 09:55:12 2009 -0500 @@ -0,0 +1,25 @@ +datatype dlist = Nil | Cons of string * source dlist + +fun delist dl = + case dl of + Nil => [] + | Cons (x, s) => {[x]} :: {delistSource s} + +and delistSource s = + +fun main () : transaction page = + tail0 <- source Nil; + tail <- source tail0; + tb <- source ""; + return + {delist (Cons ("ROOT", tail0))} +
+ +