aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/top.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-20 12:50:42 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-20 12:50:42 -0500
commit376ee602dc967529bd703b5cfe72b2b9dac8dbbd (patch)
tree406aa386c931837d09b457c64a6af3784f883a90 /lib/ur/top.ur
parent93f37507d93bb10ed7f67074c62a478b31f151e3 (diff)
Fix the two functions I just added
Diffstat (limited to 'lib/ur/top.ur')
-rw-r--r--lib/ur/top.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/top.ur b/lib/ur/top.ur
index 1edca44e..21522310 100644
--- a/lib/ur/top.ur
+++ b/lib/ur/top.ur
@@ -276,7 +276,7 @@ fun queryXI [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {T
| x :: ls => <xml>{f i x}{qxi ls (i+1)}</xml>
in
ls <- queryL q;
- return (qxi ls 0)
+ return (qxi (rev ls) 0)
end
fun queryX1 [nm ::: Name] [fs ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
@@ -296,7 +296,7 @@ fun queryX1I [nm ::: Name] [fs ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
| x :: ls => <xml>{f i x.nm}{qx1i ls (i+1)}</xml>
in
ls <- queryL q;
- return (qx1i ls 0)
+ return (qx1i (rev ls) 0)
end
fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]