Mercurial > urweb
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