annotate tests/tuple.ur @ 1451:b6ce8ef0ea88

Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Apr 2011 13:43:00 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@195 1 val x = (1, 2.0, "Hi")
adamc@195 2
adamc@195 3 val x1 = x.1
adamc@195 4 val x2 = x.2
adamc@195 5 val x3 = x.3
adamc@195 6
adamc@195 7 val y : int * float * string = x
adamc@195 8
adamc@195 9 val bizarro_x = case x of (a, b, c) => (c, a, b)
adamc@195 10
adamc@195 11 val main : unit -> page = fn () => <html><body>
adamc@195 12 {cdata bizarro_x.1}
adamc@215 13 </body></html>