From 7c57fa0cc7a24be11875607e2a2fc9bba98ad2e0 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 11 Feb 2015 19:34:19 +0100 Subject: COrrect implementation of foldi_cont and foldi_down_cont --- src/versions/standard/Int63/Int63Native_standard.v | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/versions/standard/Int63/Int63Native_standard.v b/src/versions/standard/Int63/Int63Native_standard.v index 6224e34..c8eadfd 100644 --- a/src/versions/standard/Int63/Int63Native_standard.v +++ b/src/versions/standard/Int63/Int63Native_standard.v @@ -170,9 +170,9 @@ Definition foldi_cont cont else let (_,r) := iter_int31 (to - from) _ (fun (jy: (int * (A -> B))%type) => - let (j,y) := jy in ((j+1)%int, f j y) - ) (from, cont) in - f to r. + let (j,y) := jy in ((j-1)%int, f j y) + ) (to, cont) in + f from r. Definition foldi_down_cont {A B : Type} @@ -183,9 +183,9 @@ Definition foldi_down_cont cont else let (_,r) := iter_int31 (from - downto) _ (fun (jy: (int * (A -> B))%type) => - let (j,y) := jy in ((j-1)%int, f j y) - ) (from, cont) in - f downto r. + let (j,y) := jy in ((j+1)%int, f j y) + ) (downto, cont) in + f from r. (* Fake print *) -- cgit