annotate tests/nest2.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 787d4931fb07
children
rev   line source
adamc@453 1 fun wooho (wrap : xbody -> transaction page) =
adamc@453 2 let
adamc@453 3 fun subPage n =
adamc@453 4 let
adamc@453 5 fun subberPage () = wrap <xml>{[n]}</xml>
adamc@453 6 in
adamc@453 7 wrap <xml><a link={subberPage ()}>Go</a></xml>
adamc@453 8 end
adamc@453 9 in
adamc@453 10 subPage 0
adamc@453 11 end
adamc@453 12
adamc@453 13 fun wrap x = return <xml><body>{x}</body></xml>
adamc@453 14
adamc@453 15 fun main () = wooho wrap