Fix testing example .ipkg syntax
Running it as it was written previously gave a couple errors:
> idris --testpkg maths.ipkg
Uncaught error: user error (maths.ipkg:1:1: error: expected: "package"
module maths
^ )
> idris --testpkg maths.ipkg
Uncaught error: user error (maths.ipkg:3:1: error: expected: "executable",
"libs", "main", "makefile",
"modules", "objs", "opts",
"sourcedir", "tests"
module = Maths.NumOps
^ )
commitb8808681d66c06a079470fd33291bf3bab9faad7
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateSat 8 Aug 2015, 14:33 (11 years ago)
parentb85b98f
docs/tutorial/testing.rst+3−3
@@ -63,10 +63,10 @@ A simple test module, with a qualified name of ``Test.NumOps`` can be declared a
6363The functions ``assertEq`` and ``assertNotEq`` are used to run expected passing, and failing, equality tests.
6464The actual tests are ``testDouble`` and ``testTriple``, and are declared in the ``maths.ipkg`` file as follows::
6565
66− module maths
66+ package maths
6767
68− module = Maths.NumOps
69− , Test.NumOps
68+ modules = Maths.NumOps
69+ , Test.NumOps
7070
7171 tests = Test.NumOps.testDouble
7272 , Test.NumOps.testTriple