From 376ee602dc967529bd703b5cfe72b2b9dac8dbbd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 20 Jan 2011 12:50:42 -0500 Subject: Fix the two functions I just added --- lib/ur/top.ur | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/ur/top.ur') 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 => {f i x}{qxi ls (i+1)} 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 => {f i x.nm}{qx1i ls (i+1)} in ls <- queryL q; - return (qx1i ls 0) + return (qx1i (rev ls) 0) end fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}] -- cgit v1.2.3