git.iko.soy/project-m36
on master help sign in
resolves #241
c2a4913AgentM
test/TutorialD/Interpreter.hs+7−2
compare with master
unifiedsplit
@@ -74,7 +74,8 @@ main = do
74 testUnresolvedAtomTypes,
74 testUnresolvedAtomTypes,
75 testWithClause,
75 testWithClause,
76 testAtomFunctionArgumentMismatch,
76 testAtomFunctionArgumentMismatch,
77− testInvalidDataConstructor
77+ testInvalidDataConstructor,
78+ testBasicList
78 ]
79 ]
79 simpleRelTests = [("x:=true", Right relationTrue),
80 simpleRelTests = [("x:=true", Right relationTrue),
80 ("x:=false", Right relationFalse),
81 ("x:=false", Right relationFalse),
@@ -650,4 +651,8 @@ testInvalidDataConstructor = TestCase $ do
650 (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback
651 (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback
651 let err1 = "ConstructedAtomArgumentCountMismatchError"
652 let err1 = "ConstructedAtomArgumentCountMismatchError"
652 expectTutorialDErr sessionId dbconn (T.isPrefixOf err1) "data TestT = TestT Maybe Int"
653 expectTutorialDErr sessionId dbconn (T.isPrefixOf err1) "data TestT = TestT Maybe Int"
653−
654+
655+testBasicList :: Test
656+testBasicList = TestCase $ do
657+ (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback
658+ executeTutorialD sessionId dbconn "x := relation{tuple{ a (Cons 1 (Cons 2 Empty)) }}"