@@ -74,7 +74,8 @@ main = do
7474 testUnresolvedAtomTypes,
7575 testWithClause,
7676 testAtomFunctionArgumentMismatch,
77− testInvalidDataConstructor
77+ testInvalidDataConstructor,
78+ testBasicList
7879 ]
7980 simpleRelTests = [("x:=true", Right relationTrue),
8081 ("x:=false", Right relationFalse),
@@ -650,4 +651,8 @@ testInvalidDataConstructor = TestCase $ do
650651 (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback
651652 let err1 = "ConstructedAtomArgumentCountMismatchError"
652653 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)) }}"