view sqlcache-tests/test.ur @ 2203:39faa4a037f4

ML half of initial prototype. (Doesn't compile because there's no C yet.)
author Ziv Scully <ziv@mit.edu>
date Tue, 25 Mar 2014 02:04:06 -0400
parents 606af2c9b828
children
line wrap: on
line source
table foo : {Id : int, Bar : string} PRIMARY KEY Id

(* val query = (SELECT * FROM foo WHERE foo.Bar = "baz") *)
(* val insert = (INSERT INTO foo (Id, Bar) VALUES (42, "baz")) *)

fun main () : transaction page =
    dml (INSERT INTO foo (Id, Bar) VALUES (42, "baz"));
    res <- oneOrNoRows (SELECT foo.Id, foo.Bar
                        FROM foo
                        WHERE foo.Bar = "baz"
                          UNION
                        SELECT *
                        FROM foo
                        WHERE foo.Bar = "qux");
    return
        <xml>
          <body>
            {case res of
                 None => <xml></xml>
               | Some row => <xml>{[row.Foo.Bar]}</xml>}
          </body>
        </xml>