Ur/Web: tests/tuple.ur annotate

Tweak -- precedence; use right env for final exhaustiveness errors

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 02 Jun 2009 15:43:18 -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>

Mercurial > urweb