@@ -105,15 +105,15 @@ testIsoUnion = TestCase $ do
105105 --create motors relation which is split into low-power (<50 horsepower) and high-power (>=50 horsepower) motors
106106 --the schema is contains the split relvars
107107 motorsRel <- assertEither $ mkRelationFromList (A.attributesFromList [Attribute "name" TextAtomType,
108− Attribute "power" IntAtomType])
109− [[TextAtom "Puny", IntAtom 10],
110− [TextAtom "Scooter", IntAtom 49],
111− [TextAtom "Auto", IntAtom 200],
112− [TextAtom "Tractor", IntAtom 500]]
108+ Attribute "power" IntegerAtomType])
109+ [[TextAtom "Puny", IntegerAtom 10],
110+ [TextAtom "Scooter", IntegerAtom 49],
111+ [TextAtom "Auto", IntegerAtom 200],
112+ [TextAtom "Tractor", IntegerAtom 500]]
113113 let baseSchema = mkRelationalExprState DBC.basicDatabaseContext {
114114 relationVariables = M.singleton "motor" motorsRel
115115 }
116− splitPredicate = AtomExprPredicate (FunctionAtomExpr "lt" [AttributeAtomExpr "power", NakedAtomExpr (IntAtom 50)] ())
116+ splitPredicate = AtomExprPredicate (FunctionAtomExpr "lt" [AttributeAtomExpr "power", NakedAtomExpr (IntegerAtom 50)] ())
117117 splitIsomorphs = [IsoUnion ("lowpower", "highpower") splitPredicate "motor",
118118 IsoRename "true" "true",
119119 IsoRename "false" "false"]