changeset 1406:e8bea46f8eda

Fix the two functions I just added
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 12:50:42 -0500 (2011-01-20)
parents 8631e9ed0ee8
children 7d963b8019e6
files lib/ur/top.ur
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/top.ur	Thu Jan 20 12:43:12 2011 -0500
+++ b/lib/ur/top.ur	Thu Jan 20 12:50:42 2011 -0500
@@ -276,7 +276,7 @@
               | 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 @@
               | 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}]