From 42176d4a8a0fe7954f17da5c0506721695aa477f Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 24 Oct 2025 23:34:30 +0200 Subject: WIP fold: everything but Compile (slow, but should be sound) --- src/ForwardAD/DualNumbers.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/ForwardAD') diff --git a/src/ForwardAD/DualNumbers.hs b/src/ForwardAD/DualNumbers.hs index c98b6c0..467b895 100644 --- a/src/ForwardAD/DualNumbers.hs +++ b/src/ForwardAD/DualNumbers.hs @@ -194,9 +194,13 @@ dfwdDN = \case EZero{} -> err_monoid EPlus{} -> err_monoid EOneHot{} -> err_monoid + + EFold1InnerD1{} -> err_targetlang "EFold1InnerD1" + EFold1InnerD2{} -> err_targetlang "EFold1InnerD2" where err_accum = error "Accumulator operations unsupported in the source program" err_monoid = error "Monoid operations unsupported in the source program" + err_targetlang s = error $ "Target language operation " ++ s ++ " not supported in source program" deriv_extremum :: ScalIsNumeric t ~ True => (forall env'. Ex env' (TArr (S n) (TScal t)) -> Ex env' (TArr n (TScal t))) -- cgit v1.2.3-70-g09d2