summaryrefslogtreecommitdiff
path: root/src/ForwardAD
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-05-25 23:35:31 +0200
committerTom Smeding <tom@tomsmeding.com>2025-05-25 23:35:31 +0200
commitc36849cb6247f957b4e6b093e16d04421c8cea3d (patch)
treefdcdcec5c598c95c493ede2782a96563a32b4b5f /src/ForwardAD
parentb0b562e5000dbcac8b944801e7ab96556855a4ff (diff)
ERecompute
Diffstat (limited to 'src/ForwardAD')
-rw-r--r--src/ForwardAD/DualNumbers.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ForwardAD/DualNumbers.hs b/src/ForwardAD/DualNumbers.hs
index ebc70d7..a6d5ec8 100644
--- a/src/ForwardAD/DualNumbers.hs
+++ b/src/ForwardAD/DualNumbers.hs
@@ -185,6 +185,7 @@ dfwdDN = \case
ELet ext (dfwdDN e1) $
ELet ext (weakenExpr WSink (dfwdDN e2)) $
weakenExpr (WCopy (WCopy WClosed)) (dfwdDN pr)
+ ERecompute _ e -> dfwdDN e
EError _ t s -> EError ext (dn t) s
EWith{} -> err_accum