Ur/Web: tests/pquery.ur annotate

Reading bools from SQL

author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 07 Sep 2008 12:58:33 -0400
parents	1afa94582275
children	59dc042629b9

rev	line source
adamc@296	1 table t1 : {A : int, B : string, C : float, D : bool}
adamc@280	2
adamc@280	3 fun lookup (inp : {B : string}) =
adamc@295	4 s <- query (SELECT * FROM t1 WHERE t1.B = {inp.B})
adamc@295	5 (fn fs _ => return fs.T1)
adamc@296	6 {A = 0, B = "Couldn't find it!", C = 0.0, D = False};
adamc@280	7 return <html><body>
adamc@295	8 A: {cdata (show _ s.A)}<br/>
adamc@295	9 B: {cdata (show _ s.B)}<br/>
adamc@295	10 C: {cdata (show _ s.C)}<br/>
adamc@296	11 D: {cdata (show _ s.D)}<br/>
adamc@280	12 </body></html>
adamc@280	13
adamc@280	14 fun main () : transaction page = return <html><body>
adamc@280	15 <lform>
adamc@280	16 B: <textbox{#B}/>
adamc@280	17 <submit action={lookup}/>
adamc@280	18 </lform>
adamc@280	19 </body></html>

Mercurial > urweb