adamc@760: fun handler'' ls =
adamc@760: case ls of
adamc@760: Nil =>
adamc@760: | Cons (r, ls) => {[r.C]}{handler'' ls}
adamc@760:
adamc@760: fun handler' ls =
adamc@760: case ls of
adamc@760: Nil =>
adamc@760: | Cons (r, ls) => {[r.Sub.A]} {handler' ls}
adamc@760:
adamc@760: fun handler r = return
adamc@760: {[r.A]}
adamc@760:
adamc@760: {[r.C]}
adamc@760: {[r.Sub2.A]}
adamc@760: {handler'' r.Sub2.Nested}
adamc@760:
adamc@760:
adamc@760: fun main () = return
adamc@760:
adamc@760: