annotate tests/tuple.ur @ 1394:d328983dc5a6

Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jan 2011 14:53:13 -0500
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>