diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-01 01:58:25 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-01 01:58:25 -0400 |
| commit | 49f84c562c654b5639b0854186b5a219646ddb81 (patch) | |
| tree | 29051b84a80b9da180c71a85693d2202f32b0f8f /src/Arithmetic | |
| parent | a6e23a285105ff9df74a9728dbf441eb96911dc8 (diff) | |
Make use of from_associational_cps in more places
Diffstat (limited to 'src/Arithmetic')
| -rw-r--r-- | src/Arithmetic/Core.v | 7 |
1 files changed, 5 insertions, 2 deletions
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) := |