From 3db7d00b3248d746aa99f57b117d5722cbe90df0 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 18 Jun 2025 10:10:30 +0200 Subject: Give DeepZero to With --- src/CHAD.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CHAD.hs') 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)) -- cgit v1.2.3-70-g09d2