# HG changeset patch # User Adam Chlipala # Date 1220808705 14400 # Node ID 43f35291433dc3a5117bf478da7356ea48f271c0 # Parent 59dc042629b9006a7dbc64fb6572eb746d54c839 Remove unneeded type annotations in pquery diff -r 59dc042629b9 -r 43f35291433d tests/pquery.ur --- 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 @@ 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