changeset 298:43f35291433d

Remove unneeded type annotations in pquery
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:31:45 -0400
parents 59dc042629b9
children 5f6a60b7ab00
files tests/pquery.ur
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/tests/pquery.ur	Sun Sep 07 13:29:01 2008 -0400
+++ b/tests/pquery.ur	Sun Sep 07 13:31:45 2008 -0400
@@ -17,16 +17,16 @@
         </body></html>
 
 fun lookupA (inp : {A : string}) =
-        display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A : int})
+        display (SELECT * FROM t1 WHERE t1.A = {readError _ inp.A})
 
 fun lookupB (inp : {B : string}) =
         display (SELECT * FROM t1 WHERE t1.B = {inp.B})
 
 fun lookupC (inp : {C : string}) =
-        display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C : float})
+        display (SELECT * FROM t1 WHERE t1.C = {readError _ inp.C})
 
 fun lookupD (inp : {D : string}) =
-        display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D : bool})
+        display (SELECT * FROM t1 WHERE t1.D = {readError _ inp.D})
 
 fun main () : transaction page = return <html><body>
         <lform>