diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-14 19:27:57 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-14 19:27:57 +0100 |
| commit | b8c162ce9cb1faeec621b751fff9aff46e022417 (patch) | |
| tree | 9c31700f34f9a1f1a67e0a73c880938130e87ee6 /bench | |
| parent | bb84f6930702a02ba982795e2bb95a64d61f672b (diff) | |
Configuration for CHAD
Diffstat (limited to 'bench')
| -rw-r--r-- | bench/Main.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bench/Main.hs b/bench/Main.hs index 5bb81ac..32fbc8c 100644 --- a/bench/Main.hs +++ b/bench/Main.hs @@ -19,6 +19,7 @@ import GHC.Exts (withDict) import AST import Array +import qualified CHAD (defaultConfig) import CHAD.Top import CHAD.Types import Data @@ -34,7 +35,7 @@ gradCHAD :: KnownEnv env => SList Value env -> Double -> Ex env (TScal TF64) -> gradCHAD input ctg term = interpretOpen False input $ simplifyFix $ - ELet ext (EConst ext STF64 ctg) $ chad' knownEnv term + ELet ext (EConst ext STF64 ctg) $ chad' CHAD.defaultConfig knownEnv term instance KnownTy t => NFData (Value t) where rnf = \(Value x) -> go (knownTy @t) x |