diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-06 17:36:45 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-06 17:36:45 -0400 |
commit | f0999e0e7b8ae0f3e0ac622d4d70e8a1da61f47e (patch) | |
tree | b83f18305aa8814ca95cf3a7e6a8829f789d8380 /lib | |
parent | 82ed38468f5da48ce6e9f6ec336cf5b11ca4bb4d (diff) |
Versioned1 demo working
Diffstat (limited to 'lib')
-rw-r--r-- | lib/ur/list.ur | 7 |
1 files changed, 4 insertions, 3 deletions
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 |