From 8443e6fb491fa8c8877e53e6548e2fca401e24d5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 13:31:45 -0400 Subject: Remove unneeded type annotations in pquery --- tests/pquery.ur | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/pquery.ur') diff --git a/tests/pquery.ur b/tests/pquery.ur index eb240909..4c0e4e4a 100644 --- a/tests/pquery.ur +++ b/tests/pquery.ur @@ -17,16 +17,16 @@ fun display (q : sql_query [T1 = [A = int, B = string, C = float, D = bool]] []) 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 -- cgit v1.2.3