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: