annotate tests/tuple.ur @ 1275:74150edf1134

Undo fancy wildification; instead, client code should include extra wildcard con declarations
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jun 2010 14:44:08 -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>