annotate tests/tuple.ur @ 1513:5616b2cbdcdb

Tutorial: hyperlinks for metaprogramming and row types
author Adam Chlipala <adam@chlipala.net>
date Wed, 20 Jul 2011 08:14:49 -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>