@@ -45,13 +45,13 @@ A simple test module, with a qualified name of ``Test.NumOps`` can be declared a
4545
4646 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
4747 assertEq g e = if g == e
48− then putStrLn "."
49− else putStrLn "F"
48+ then putStrLn "Test Passed"
49+ else putStrLn "Test Failed"
5050
5151 assertNotEq : Eq a => (given : a) -> (expected : a) -> IO ()
5252 assertNotEq g e = if not (g == e)
53− then putStrLn "."
54− else putStrLn "F"
53+ then putStrLn "Test Passed"
54+ else putStrLn "Test Failed"
5555
5656 testDouble : IO ()
5757 testDouble = assertEq (double 2) 4
@@ -78,8 +78,8 @@ The testing framework can then be invoked using ``idris --testpkg maths.ipkg``::
7878 Type checking ./Maths/NumOps.idr
7979 Type checking ./Test/NumOps.idr
8080 Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr
81− .
82− .
81+ Test Passed
82+ Test Passed
8383
8484Note how both tests have reported success by printing a single ``.``
8585as we arranged for with the ``assertEq`` and ``assertNoEq`` functions.