diff options
author | Tom Smeding <t.j.smeding@uu.nl> | 2024-11-13 17:26:58 +0100 |
---|---|---|
committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-11-13 17:26:58 +0100 |
commit | 02db8c1929a25dda64e6cee7b7343833ee698f34 (patch) | |
tree | 75c9b88debd46dc3c856580d31f8275413a8433c | |
parent | 281229b7bf307132a428dde1b171e1db86637238 (diff) |
Remove warnings
-rw-r--r-- | src/Example.hs | 4 | ||||
-rw-r--r-- | test/Main.hs | 2 |
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 |