From ed7e4c443e611490ce83c8ee6bedea14c636011c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 13 Sep 2013 10:24:10 -0400 Subject: Tweak Sergey's patch to work with Postgres --- tests/dbupload.ur | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/dbupload.ur (limited to 'tests/dbupload.ur') diff --git a/tests/dbupload.ur b/tests/dbupload.ur new file mode 100644 index 00000000..f088d63b --- /dev/null +++ b/tests/dbupload.ur @@ -0,0 +1,25 @@ +table t : { Id : int, Blob : blob, MimeType : string } +sequence s + +fun getImage id : transaction page = + r <- oneRow1 (SELECT t.Blob, t.MimeType + FROM t + WHERE t.Id = {[id]}); + returnBlob r.Blob (blessMime r.MimeType) + +fun main () : transaction page = + let + fun handle r = + id <- nextval s; + dml (INSERT INTO t (Id, Blob, MimeType) + VALUES ({[id]}, {[fileData r.File]}, {[fileMimeType r.File]})); + main () + in + x <- queryX1 (SELECT t.Id FROM t) + (fn r =>

); + return + + end -- cgit v1.2.3