adamc@453: fun main wrap = adamc@453: let adamc@453: fun edit id = adamc@453: let adamc@453: val r = 0 adamc@453: fun save () = adamc@453: in adamc@453: wrap (save ()) adamc@453: end adamc@453: in adamc@453: edit 0 adamc@453: end adamc@453: adamc@453: fun wrap (inside : xbody) = return adamc@453: adamc@453: val main () = main wrap