@@ -29,6 +29,9 @@ written as follows::
2929Other examples of package files can be found in the ``libs`` directory
3030of the main Idris repository, and in `third-party libraries <https://github.com/idris-lang/Idris-dev/wiki/Libraries>`_.
3131
32+Common Fields
33+-------------
34+
3235Other common fields which may be present in an ``ipkg`` file are:
3336
3437+ ``sourcedir = <dir>``, which takes the directory (relative to the
@@ -44,6 +47,9 @@ Other common fields which may be present in an ``ipkg`` file are:
4447+ ``opts = "<idris options>"``, which allows options (such as other
4548 packages) to be passed to Idris.
4649
50+Binding to C
51+------------
52+
4753In more advanced cases, particularly to support creating bindings to
4854external ``C`` libraries, the following options are available:
4955
@@ -57,14 +63,17 @@ external ``C`` libraries, the following options are available:
5763+ ``objs = <objs>``, which takes a comma separated list of additional
5864 object files to be installed, perhaps generated by the ``Makefile``.
5965
60−For testing Idris packages, there is a rudimentary testing harness built into Idris.
61−This allows for testing functions that are written in context of ``IO`` to be run automatically in a fresh environment on your computer.
62−The field is:
66+Testing
67+--------
68+
69+For testing Idris packages, there is a rudimentary testing harness, which is run in the ``IO`` context, built into Idris.
70+This allows for testing modules containting functions that test aspects of your package to be run automatically in a fresh environment on your computer.
71+All test functions must return ``IO ()``, and are listed in the ``ipkg`` file using the field:
6372
64−+ ``tests = <test functions>``, which takes the qualified names of all tests to be run.
73++ ``tests = <test functions>``, which takes the qualified names of all test functions to be run.
6574
6675.. IMPORTANT::
67− The tests must also be added to the list of modules in ``modules``.
76+ The modules containing the test functions must also be added to the list of modules.
6877
6978Using Package files
7079===================