aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/ForwardAD/DualNumbers.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-11-10 22:31:56 +0100
committerTom Smeding <tom@tomsmeding.com>2025-11-10 22:31:56 +0100
commitcd135319f65f40a554d864b2a878a4ef44043a98 (patch)
treec51a5100b356ff4bf1a41a9b4b269faac3326850 /src/CHAD/ForwardAD/DualNumbers.hs
parent57eb321eaeabc53c8c8b83d0554d8a8cca6eed76 (diff)
hlint cleanup
Diffstat (limited to 'src/CHAD/ForwardAD/DualNumbers.hs')
-rw-r--r--src/CHAD/ForwardAD/DualNumbers.hs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/CHAD/ForwardAD/DualNumbers.hs b/src/CHAD/ForwardAD/DualNumbers.hs
index a71efc8..540ec2b 100644
--- a/src/CHAD/ForwardAD/DualNumbers.hs
+++ b/src/CHAD/ForwardAD/DualNumbers.hs
@@ -1,11 +1,10 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
-- I want to bring various type variables in scope using type annotations in
@@ -157,7 +156,7 @@ dfwdDN = \case
EFold1Inner _ cm a b c -> EFold1Inner ext cm (dfwdDN a) (dfwdDN b) (dfwdDN c)
ESum1Inner _ e ->
let STArr n (STScal t) = typeOf e
- pairty = (STPair (STScal t) (STScal t))
+ pairty = STPair (STScal t) (STScal t)
in scalTyCase t
(ELet ext (dfwdDN e) $
ezip (ESum1Inner ext (emap (EFst ext (EVar ext pairty IZ))