Mercurial > urweb

comparison demo/view.ur @ 1303:c7b9a33c26c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents 669ac5e9a69e
children
comparison
equal deleted inserted replaced
1302:d008c4c43a0a 1303:c7b9a33c26c8
1 table t : { A : int } 1 table t : { A : int }
2 view v = SELECT t.A AS A FROM t WHERE t.A > 7 2 view v = SELECT t.A AS A FROM t WHERE t.A > 7
3 3
4 fun list [u] (_ : fieldsOf u [A = int]) (title : string) (x : u) = 4 fun list [u] (_ : fieldsOf u [A = int]) (title : string) (x : u) : transaction xbody =
5 xml <- queryX (SELECT * FROM x) 5 xml <- queryX (SELECT * FROM x)
6 (fn r : {X : {A : int}} => <xml><li>{[r.X.A]}</li></xml>); 6 (fn r : {X : {A : int}} => <xml><li>{[r.X.A]}</li></xml>);
7 return <xml> 7 return <xml>
8 <h2>{[title]}</h2> 8 <h2>{[title]}</h2>
9 <ul>{xml}</ul> 9 <ul>{xml}</ul>