Mercurial > urweb
diff lib/ur/top.ur @ 1406:e8bea46f8eda
Fix the two functions I just added
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 20 Jan 2011 12:50:42 -0500 |
parents | 8631e9ed0ee8 |
children | 44f78d6fec29 |
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}]