git.iko.soy/Idris-dev
on master help sign in
Updated CHANGELOG and Documentation.
94f4148Jan de Muijnck-Hughes
CHANGELOG.md+5
compare with master
unifiedsplit
@@ -36,6 +36,11 @@
36 Unicode-rendering issues on Windows (e.g., error messages stating
36 Unicode-rendering issues on Windows (e.g., error messages stating
37 `commitBuffer: invalid argument (invalid character)`).
37 `commitBuffer: invalid argument (invalid character)`).
38
38
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+
39## Library Updates
44## Library Updates
40
45
41+ Terminating programs has been improved with more appropriate
46+ 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
138
138
139+ ``idris --testpkg test.ipkg`` will compile and run any embedded tests you have specified in the ``tests`` parameter.
139+ ``idris --testpkg test.ipkg`` will compile and run any embedded tests you have specified in the ``tests`` parameter.
140
140
141+When building or install packages the commandline flag ``--warnipkg`` will audit the project and warn of any potentiable problems.
142+
141Once the test package has been installed, the command line option
143Once the test package has been installed, the command line option
142``--package test`` makes it accessible (abbreviated to ``-p test``).
144``--package test`` makes it accessible (abbreviated to ``-p test``).
143For example::
145For example::