Update libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/A…

…st.hs Co-authored-by: Alexey Kuleshevich <alexey.kuleshevich@iohk.io>
IntersectMBO · Dec 13, 2023 · 7292824 · 7292824
1 parent fd2c612
commit 7292824
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Ast.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Ast.hs
@@ -899,9 +899,8 @@ targetMaybeEnv root (Partial (Var v) f) env =
   case f root of
     Just val -> Just (storeVar v val env)
     Nothing -> Nothing
-targetMaybeEnv root (x :$ y) env = case targetMaybeEnv root y env of
-  Just env2 -> targetMaybeEnv root x env2
-  Nothing -> Nothing
+targetMaybeEnv root (x :$ y) env = 
+  targetMaybeEnv root y env >>= targetMaybeEnv root x
 targetMaybeEnv _ _ _ = Nothing
 
 runPred :: Env era -> Pred era -> Typed Bool