ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity

CHANGELOG: Note new iPKG executable = "filename" syntax

Browse Source
This commit is contained in:
Jeremy W. Sherman 2015-10-21 15:09:58 -04:00
parent bd28c5f589
commit 6f58d99c89
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG
View File

@ -45,6 +45,10 @@ Tool updates
* iPKG files have a new option `pkgs` which takes a comma-separated list
of package names that the idris project depends on. This reduces bloat
in the `opts` option with multiple package declarations.
* iPKG files now allow `executable = "your filename here"` in addition to
the existing `executable = yourFilenameHere` style. While the unquoted
version is limited to filenames that look like namespaced Idris identifiers
(`your.filename.here`), the quoted version accepts any valid filename.
* Add definition command (\d in Vim, Ctrl-Alt-A in Atom, C-c C-s in Emacs) now
adds missing clauses if there is already a definition.