annotate tests/tuple.ur @ 1740:d2ec62c5ad81

Adaptations to ezyang's patch
author Adam Chlipala <adam@chlipala.net>
date Thu, 03 May 2012 10:29:12 -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>