diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/versions/standard/Int63/Int63Native_standard.v | 12 |
1 files 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 *) |