diff lib/ur/list.ur @ 995:166ea3944b91

Versioned1 demo working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 17:36:45 -0400
parents b873feb3eb52
children eaba663fd6aa
line wrap: on
line diff
--- a/lib/ur/list.ur	Tue Oct 06 15:59:11 2009 -0400
+++ b/lib/ur/list.ur	Tue Oct 06 17:36:45 2009 -0400
@@ -230,9 +230,10 @@
 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