Mercurial > urweb
annotate tests/rpcN.ur @ 1886:b7cd3c7c7edd
Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 04 Nov 2013 15:14:23 -0500 |
| parents | 5891f47d7cff |
| children |
| rev | line source |
|---|---|
| adamc@614 | 1 table t : { A : int } |
| adamc@614 | 2 |
| adamc@614 | 3 fun main () : transaction page = |
| adamc@614 | 4 let |
| adamc@614 | 5 fun count a = r <- oneRow (SELECT COUNT( * ) AS N FROM t WHERE t.A = {[a]}); |
| adamc@614 | 6 return r.N |
| adamc@614 | 7 in |
| adamc@614 | 8 s <- source 0; |
| adamc@614 | 9 return <xml><body> |
| adamc@614 | 10 <button value="Get It On!" |
| adamc@614 | 11 onclick={n <- count 3; |
| adamc@614 | 12 set s n}/><br/> |
| adamc@614 | 13 <br/> |
| adamc@614 | 14 Current: <dyn signal={n <- signal s; return <xml>{[n]}</xml>}/> |
| adamc@614 | 15 </body></xml> |
| adamc@614 | 16 end |