adamc@778: table t : { A : int } adamc@778: view v = SELECT t.A AS A FROM t WHERE t.A > 7 adamc@778: adamc@778: fun list (u ::: Type) (_ : fieldsOf u [A = int]) (title : string) (x : u) = adamc@778: xml <- queryX (SELECT * FROM x) adamc@778: (fn r : {X : {A : int}} =>
  • {[r.X.A]}
    • ); adamc@778: return adamc@778:

    {[title]}

    adamc@778: adamc@778:     adamc@778: adamc@778: fun main () = adamc@778: listT <- list "T" t; adamc@778: listV <- list "V" v; adamc@778: return adamc@778: {listT} adamc@778: {listV} adamc@778:
    adamc@778: adamc@778:
    Insert: adamc@778:
    adamc@778: adamc@778: and ins r = adamc@778: dml (INSERT INTO t (A) VALUES ({[readError r.A]})); adamc@778: main ()