@@ -8,20 +8,22 @@ import qualified Data.Map as M
88
99main = runTestTT (TestList tests)
1010 where
11− tests = map (\(tutd, expected)->TestCase $ assertTutdEqual tutd expected) simpleRelTests
11+ tests = map (\(tutd, expected) -> TestCase $ assertTutdEqual basicRelVarContext tutd expected) simpleRelTests
1212 simpleRelTests = [("true", Right relationTrue),
1313 ("false", Right relationFalse),
1414 ("true union false", Right relationTrue),
1515 ("true; false", Right relationFalse),
1616 ("a:=relation{a int}", mkRelation simpleAAttributes HS.empty),
17− ("b:=relation{c int} rename {c as d}", mkRelation simpleBAttributes HS.empty)
17+ ("b:=relation{c int} rename {c as d}", mkRelation simpleBAttributes HS.empty),
18+ ("a:=relation{b int, c int}; a{c}", mkRelation simpleProjectionAttributes HS.empty)
1819 ]
1920 simpleAAttributes = M.fromList [("a", Attribute "a" IntAtomType)]
2021 simpleBAttributes = M.fromList [("d", Attribute "d" IntAtomType)]
22+ simpleProjectionAttributes = M.fromList [("c", Attribute "c" IntAtomType)]
2123
2224
23−testSimple1 = TestCase $ assertTutdEqual "true" (Right relationTrue)
25+testSimple1 = TestCase $ assertTutdEqual basicRelVarContext "true" (Right relationTrue)
2426
25−assertTutdEqual tutd expected = assertEqual tutd interpreted expected
27+assertTutdEqual relVarContext tutd expected = assertEqual tutd interpreted expected
2628 where
27− interpreted = fst (interpret basicRelVarContext tutd)
29+ interpreted = fst (interpret relVarContext tutd)