@@ -11,7 +11,9 @@ import qualified Data.Map as M
1111main :: IO ()
1212main = do
1313 tcounts <- runTestTT (TestList [testBasicAtomFunction,
14− testErrorAtomFunction])
14+ testErrorAtomFunction,
15+ testNoArgumentAtomFunction
16+ ])
1517 if errors tcounts + failures tcounts > 0 then exitFailure else exitSuccess
1618
1719--add an atom function and run it
@@ -42,7 +44,7 @@ testErrorAtomFunction = TestCase $ do
4244testNoArgumentAtomFunction :: Test
4345testNoArgumentAtomFunction = TestCase $ do
4446 (sess, conn) <- dateExamplesConnection emptyNotificationCallback
45− executeTutorialD sess conn "addatomfunction \"mkTest\" Int -> Int \"\"\"\\(x :: [Atom]) -> IntAtom 5\"\"\""
47+ executeTutorialD sess conn "addatomfunction \"mkTest\" Int \"\"\"\\(x :: [Atom]) -> IntAtom 5\"\"\""
4648 let attrs = [Attribute "x" IntAtomType]
4749 funcAtomExpr = FunctionAtomExpr "mkTest" []
4850 tupleExprs = [TupleExpr (M.singleton "x" funcAtomExpr)]