summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-11-13 17:26:58 +0100
committerTom Smeding <t.j.smeding@uu.nl>2024-11-13 17:26:58 +0100
commit02db8c1929a25dda64e6cee7b7343833ee698f34 (patch)
tree75c9b88debd46dc3c856580d31f8275413a8433c
parent281229b7bf307132a428dde1b171e1db86637238 (diff)
Remove warnings
-rw-r--r--src/Example.hs4
-rw-r--r--test/Main.hs2
2 files changed, 4 insertions, 2 deletions
diff --git a/src/Example.hs b/src/Example.hs
index b208963..a08724b 100644
--- a/src/Example.hs
+++ b/src/Example.hs
@@ -187,7 +187,9 @@ neuralGo =
simplifyN 20 $
ELet ext (EConst ext STF64 1.0) $
chad knownEnv neural
- (primal, (((((), Right dlay1_1), Right dlay2_1), dlay3_1), dinput_1)) = interpretOpen False argument revderiv
+ (primal, dlay1_1, dlay2_1, dlay3_1, dinput_1) = case interpretOpen False argument revderiv of
+ (primal', (((((), Right dlay1_1'), Right dlay2_1'), dlay3_1'), dinput_1')) -> (primal', dlay1_1', dlay2_1', dlay3_1', dinput_1')
+ _ -> undefined
(Value dinput_2 `SCons` Value dlay3_2 `SCons` Value dlay2_2 `SCons` Value dlay1_2 `SCons` SNil) = drevByFwd knownEnv neural argument 1.0
in trace (formatter (ppExpr knownEnv revderiv)) $
(primal, (dlay1_1, dlay2_1, dlay3_1, dinput_1), (dlay1_2, dlay2_2, dlay3_2, dinput_2))
diff --git a/test/Main.hs b/test/Main.hs
index 72b7809..d617228 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -205,7 +205,7 @@ adTestGen expr envGenerator = property $ do
input <- forAllWith (showEnv env) envGenerator
let outPrimal = interpretOpen False input expr
gradFwd = gradientByForward knownEnv expr input
- (ppdterm, (outChad, gradCHAD)) = gradientByCHAD' (SimplIters 0) knownEnv expr input
+ (_ppdterm, (outChad, gradCHAD)) = gradientByCHAD' (SimplIters 0) knownEnv expr input
(ppdterm_S, (outChad_S, gradCHAD_S)) = gradientByCHAD' SimplFix knownEnv expr input
(ppdterm_S20, _) = gradientByCHAD' (SimplIters 20) knownEnv expr input
scFwd = envScalars env gradFwd