adamc@605: datatype dlist = Nil | Cons of string * source dlist
adamc@605:
adamc@605: fun delist dl =
adamc@605: case dl of
adamc@605: Nil => []
adamc@605: | Cons (x, s) => {[x]} :: {delistSource s}
adamc@605:
adamc@605: and delistSource s =
adamc@605:
adamc@605: fun main () : transaction page =
adamc@605: tail0 <- source Nil;
adamc@605: tail <- source tail0;
adamc@605: tb <- source "";
adamc@605: return
adamc@605: {delist (Cons ("ROOT", tail0))}
adamc@605:
adamc@605:
adamc@605:
adamc@605:
adamc@605: