From b8c162ce9cb1faeec621b751fff9aff46e022417 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 14 Nov 2024 19:27:57 +0100
Subject: Configuration for CHAD

---
 bench/Main.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'bench')

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
-- 
cgit v1.2.3-70-g09d2