idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

Update CHANGELOG

Browse Source 
Missing timeout command and a note on performance
This commit is contained in:
Edwin Brady 2021-06-23 15:51:32 +01:00
parent bea175c09c
commit af1cbbf913
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
CHANGELOG.md
View File

@ -52,6 +52,9 @@
* Added `:search` command, which searches for functions by type
* `:load`/`:l` and `:cd` commands now only accept paths surrounded by double
quotes
* Added a timeout to "generate definition" and "proof search" commands,
defaulting to 1 second (1000 milliseconds) and configurable with
`%search_timeout <time in milliseconds>`
### Library Changes
@ -165,6 +168,8 @@ Added
### Other changes
* Lots of small performance improvements, some of which may be especially
noticeable in programs that do a lot of type level evaluation.
* Support for auto-completion in bash-like shells was added.
* Fixed case-splitting to respect any indentation there may be in the term being
case-split and the surrounding symbols, instead of filtering out the