From f0999e0e7b8ae0f3e0ac622d4d70e8a1da61f47e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Oct 2009 17:36:45 -0400
Subject: Versioned1 demo working

---
 lib/ur/list.ur | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'lib/ur/list.ur')

diff --git a/lib/ur/list.ur b/lib/ur/list.ur
index 9e2550ca..58f9e23e 100644
--- a/lib/ur/list.ur
+++ b/lib/ur/list.ur
@@ -230,9 +230,10 @@ fun app [m] (_ : monad m) [a] f =
 fun mapQuery [tables ::: {{Type}}] [exps ::: {Type}] [t ::: Type]
              [tables ~ exps] (q : sql_query tables exps)
              (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) -> t) =
-    query q
-          (fn fs acc => return (f fs :: acc))
-          []
+    ls <- query q
+                (fn fs acc => return (f fs :: acc))
+                [];
+    return (rev ls)
 
 fun assoc [a] [b] (_ : eq a) (x : a) =
     let
-- 
cgit v1.2.3