@@ -136,7 +136,7 @@ testPushDownRestrictionPredicate = TestCase $ do
136 status30 = AttributeEqualityPredicate "status" (NakedAtomExpr (IntAtom 30))
136 status30 = AttributeEqualityPredicate "status" (NakedAtomExpr (IntAtom 30))
138 expectedExpr1 = Union (Restrict status30 rvs) (Restrict status30 (ExistingRelation stevens))
138 expectedExpr1 = Union (Restrict status30 rvs) (Restrict status30 (ExistingRelation stevens))
139− pure $ (expectedExpr1, (applyStaticRestrictionPushdown expr1))
139+ pure (expectedExpr1, applyStaticRestrictionPushdown expr1)
140 either (assertFailure . (++) "stevens relation: " . show) (uncurry $ assertEqual "union restriction pushdown") relationsOrError
140 either (assertFailure . (++) "stevens relation: " . show) (uncurry $ assertEqual "union restriction pushdown") relationsOrError
142 -- s{sname,city} where city="London" == (s where city="London"){sname,city}
142 -- s{sname,city} where city="London" == (s where city="London"){sname,city}