Mercurial > urweb
annotate tests/pcase.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@173 | 1 val flip = fn x : int => case x of 0 => 1 | _ => 0 |
adamc@173 | 2 |
adamc@173 | 3 val zero = flip 1 |
adamc@173 | 4 val one = flip 0 |
adamc@173 | 5 |
adamc@173 | 6 val flipS = fn x : string => case x of "" => "Hello world!" | _ => "" |
adamc@173 | 7 |
adamc@173 | 8 val s1 = flipS "" |
adamc@173 | 9 val s2 = flipS "Boop" |