From 49f84c562c654b5639b0854186b5a219646ddb81 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 1 Nov 2017 01:58:25 -0400 Subject: Make use of from_associational_cps in more places --- src/Arithmetic/Core.v | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/Arithmetic') diff --git a/src/Arithmetic/Core.v b/src/Arithmetic/Core.v index 7335f6523..4293561fa 100644 --- a/src/Arithmetic/Core.v +++ b/src/Arithmetic/Core.v @@ -755,8 +755,11 @@ Module B. to_associational_cps p (fun P => Associational.split_cps s P (fun split_P => - f (from_associational m1 (fst split_P), - (from_associational m2 (snd split_P))))). + from_associational_cps m1 (fst split_P) + (fun m1_P => + from_associational_cps m2 (snd split_P) + (fun m2_P => + f (m1_P, m2_P))))). Definition scmul_cps {n} (x : Z) (p: tuple Z n) {T} (f:tuple Z n->T) := -- cgit v1.2.3