Mercurial > urweb

comparison tests/pquery.ur @ 298:43f35291433d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove unneeded type annotations in pquery
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:31:45 -0400
parents 59dc042629b9
children
comparison
equal deleted inserted replaced
297:59dc042629b9 298:43f35291433d
15 D: {cdata (show _ s.D)}<br/> 15 D: {cdata (show _ s.D)}<br/>
16 </body>} 16 </body>}
17 </body></html> 17 </body></html>
18 18
19 fun lookupA (inp : {A : string}) = 19 fun lookupA (inp : {A : string}) =
20 display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A : int}) 20 display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A})
21 21
22 fun lookupB (inp : {B : string}) = 22 fun lookupB (inp : {B : string}) =
23 display (SELECT * FROM t1 WHERE t1.B = {inp.B}) 23 display (SELECT * FROM t1 WHERE t1.B = {inp.B})
24 24
25 fun lookupC (inp : {C : string}) = 25 fun lookupC (inp : {C : string}) =
26 display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C : float}) 26 display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C})
27 27
28 fun lookupD (inp : {D : string}) = 28 fun lookupD (inp : {D : string}) =
29 display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D : bool}) 29 display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D})
30 30
31 fun main () : transaction page = return <html><body> 31 fun main () : transaction page = return <html><body>
32 <lform> 32 <lform>
33 A: <textbox{#A}/> 33 A: <textbox{#A}/>
34 <submit action={lookupA}/> 34 <submit action={lookupA}/>