From 58d4d0b47f5e609e21132f48b727de37d06b6777 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 7 Nov 2024 23:58:03 +0100 Subject: Remove build1 --- src/ForwardAD/DualNumbers.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/ForwardAD') diff --git a/src/ForwardAD/DualNumbers.hs b/src/ForwardAD/DualNumbers.hs index 8b4acb3..8e84378 100644 --- a/src/ForwardAD/DualNumbers.hs +++ b/src/ForwardAD/DualNumbers.hs @@ -152,7 +152,6 @@ dfwdDN = \case (emap (EPair ext (EVar ext (STScal t) IZ) (EConst ext t 0.0)) (EConstArr ext n t x)) (EConstArr ext n t x) - EBuild1 _ a b -> EBuild1 ext (dfwdDN a) (dfwdDN b) EBuild _ n a b | Refl <- dnPreservesTupIx n -> EBuild ext n (dfwdDN a) (dfwdDN b) EFold1Inner _ a b c -> EFold1Inner ext (dfwdDN a) (dfwdDN b) (dfwdDN c) -- cgit v1.2.3-70-g09d2