diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:31:45 -0400 |
| commit | 8443e6fb491fa8c8877e53e6548e2fca401e24d5 (patch) | |
| tree | 69714c428bde29185738b65b5c51d038f4d71e08 /tests/pquery.ur | |
| parent | 9f8b222f6667f4e7dec2105ea4f5c2abdfd29dc9 (diff) | |
Remove unneeded type annotations in pquery
Diffstat (limited to 'tests/pquery.ur')
| -rw-r--r-- | tests/pquery.ur | 6 |
1 files changed, 3 insertions, 3 deletions
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]] []) </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> |