Updated CHANGELOG and Documentation.
commit94f41480fe761c17f3f85117a577b4360d4e7849
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateTue 7 Mar 2017, 11:54 (10 years ago)
parent57068a9
CHANGELOG.md+5
@@ -36,6 +36,11 @@
3636 Unicode-rendering issues on Windows (e.g., error messages stating
3737 `commitBuffer: invalid argument (invalid character)`).
3838
39++ Idris now has a `--warnipkg` flag to enable auditing of Idris
40+ packages during build time. Currently auditing check's the list of
41+ modules specified in the `iPKG` file with those presented in the
42+ package directory.
43+
3944## Library Updates
4045
4146+ Terminating programs has been improved with more appropriate
docs/reference/packages.rst+2
@@ -138,6 +138,8 @@ Given an Idris package file ``text.ipkg`` it can be used with the Idris compiler
138138
139139+ ``idris --testpkg test.ipkg`` will compile and run any embedded tests you have specified in the ``tests`` parameter.
140140
141+When building or install packages the commandline flag ``--warnipkg`` will audit the project and warn of any potentiable problems.
142+
141143Once the test package has been installed, the command line option
142144``--package test`` makes it accessible (abbreviated to ``-p test``).
143145For example::