diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 10:10:30 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 10:10:30 +0200 |
| commit | 3db7d00b3248d746aa99f57b117d5722cbe90df0 (patch) | |
| tree | d01a0f9c1e95de07d6dc3fcb8f6895bf94a77165 /src/CHAD.hs | |
| parent | 62639875102decae2bb96b3847ae48db5d1f8fd0 (diff) | |
Give DeepZero to With
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index 621aa3e..9fa7f9a 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -1341,7 +1341,7 @@ drevScoped des accumMap argty argsto argids sd expr = case argsto of in RetScoped e0 (subenvConcat (SEYesR @_ @_ @(D1 a) SETop) subtape) e1 sub (spDense (d2M argty)) $ let primalIdx = autoWeak library #p (#d :++: (#body :++: #p) :++: #tl) @> IZ in - EWith ext (d2M argty) (EZero ext (d2M argty) (d2zeroInfo argty (EVar ext (d1 argty) primalIdx))) $ + EWith ext (d2M argty) (EDeepZero ext (d2M argty) (d2deepZeroInfo argty (EVar ext (d1 argty) primalIdx))) $ weakenExpr (autoWeak library (#d :++: #body :++: #ac :++: #tl) (#ac :++: #d :++: (#body :++: #p) :++: #tl)) |