From f161387682d917484fb3c423adfe9b6ecc376d4d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Feb 2019 09:26:05 -0500 Subject: New release --- CHANGELOG | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 4e1c1c9e..dc8967db 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,18 @@ +======== +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 ======== -- cgit v1.2.3