Inline stmts'

effectfully · May 14, 2020 · 1895d10 · 1895d10
1 parent beaba30
commit 1895d10
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/test/Field/Textual.hs b/test/Field/Textual.hs
@@ -46,9 +46,7 @@ forgetStatementIDs :: Statement f -> Statement f
 forgetStatementIDs (ELet uvar d)  = ELet (forgetID uvar) (forgetIDs d)
 forgetStatementIDs (EAssert expr) = EAssert $ forgetIDs expr
 forgetStatementIDs (EFor uvar start end stmts) =
-    EFor (forgetID uvar) start end stmts' where
-        stmts' = forgetStatementIDs <$> stmts
-
+    EFor (forgetID uvar) start end (forgetStatementIDs <$> stmts)
 forgetIDs :: Expr f a -> Expr f a
 forgetIDs (EConst uval)        = EConst uval
 forgetIDs (EVar uvar)          = EVar $ forgetID uvar