Ur/Web: tests/pquery.ur annotate

Reading ints and floats from SQL

author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 07 Sep 2008 12:56:46 -0400
parents	fdd7a698be01
children	5dc11235129d

rev	line source
adamc@280	1 table t1 : {A : int, B : string, C : float}
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@295	6 {A = 0, B = "Couldn't find it!", C = 0.0};
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@280	11 </body></html>
adamc@280	12
adamc@280	13 fun main () : transaction page = return <html><body>
adamc@280	14 <lform>
adamc@280	15 B: <textbox{#B}/>
adamc@280	16 <submit action={lookup}/>
adamc@280	17 </lform>
adamc@280	18 </body></html>

Mercurial > urweb