diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-02-17 09:26:05 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-02-17 09:26:05 -0500 |
commit | f161387682d917484fb3c423adfe9b6ecc376d4d (patch) | |
tree | 08613079e555a8b9e5177ea24315d6e69c52693f /CHANGELOG | |
parent | 62dfceb86ba7dfbabb0fabaf89c9cbc8d08afc32 (diff) |
New release20190217
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -1,4 +1,19 @@ ======== +20190217 +======== + +- Update of standard-library string functions to handle non-ASCII UTF-8 properly +- New command-line options: -endpoints +- New .urp directive: safeGetDefault +- New Basis functions: textOfBlob, unsafeSerialized[To|From]String +- New Top functions: mapX4, foldR4 +- New List functions: allM, assocAddSorted, mapConcat, mapConcatM, mapMi, searchM +- New ListPair functions: mapM, unzip +- New Option function: mapM +- Flycheck integration +- Bug fixes and improvements to type inference, documentation, error messages, and compatibility + +======== 20180616 ======== |