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