blob: aef1ced60e0db2411298c028eb947d04dd0bd8b1 (
plain)
1
2
3
4
5
6
7
8
9
|
val r = { F = fn () => return <xml/> }
fun main () : transaction page = return <xml><body>
<a link={r.F ()}>Go</a>
</body></xml>
fun main' (r' : {F : unit -> transaction page}) : transaction page = return <xml><body>
<a link={r'.F ()}>Go</a>
</body></xml>
|
