Ur/Web: tests/tuple.lac annotate

Re-consistent-ify naming of union members

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 09 Aug 2008 16:54:04 -0400
parents	85b5f663bb86
children	2f574c07df2e

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@195	13 </body></html>

Mercurial > urweb