adam@1628: val r = { F = fn () => return } adam@1628: adam@1628: fun main () : transaction page = return adam@1628: Go adam@1628: adam@1628: adam@1628: fun main' (r' : {F : unit -> transaction page}) : transaction page = return adam@1628: Go adam@1628: