comparison tests/aborter2.ur @ 425:7009b0ac1501
Properly freeing libpq results on errors
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Fri, 24 Oct 2008 17:30:07 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : { X : int } |
| |
2 |
| |
3 fun main () : transaction page = |
| |
4 v <- query (SELECT * FROM t) |
| |
5 (fn r (_ : int) => return (error <xml>Shot down!</xml>)) |
| |
6 0; |
| |
7 return <xml>Result: {[v]}</xml> |
