@@ -1,3 +1,14 @@
1+New in 0.9.21:
2+==============
3+
4+* Idris' logging infrastructure has been categorised. Command line and repl
5+ are available. For command line the option `--logging-categories CATS`
6+ is used to pass in the categories. Here `CATS` is a colon separated quoted
7+ string containing the categories to log. The REPL command is `logcats CATS`.
8+ Where `CATS` is a whitespace separated list of categoriese. Default is for
9+ all categories to be logged.
10+
11+
112New in 0.9.20:
213==============
314
@@ -19,7 +30,7 @@ Language updates
1930* Name binding in patterns follows the same rule as name binding for implicits
2031 in types: names which begin with lower case letters, not applied to any
2132 arguments, are treated as bound pattern variables.
22−* Added %deprecate directive, which gives a warning and a message when a
33+* Added %deprecate directive, which gives a warning and a message when a
2334 deprecated name is referenced.
2435
2536Library updates
@@ -39,7 +50,7 @@ Library updates
3950 from Effectful programs.
4051* Some constructors that never actually occurred have been removed from
4152 the TT and Raw reflection datatypes in Language.Reflection.
42−* File IO operations (for example openFile/fread/fwrite) now return
53+* File IO operations (for example openFile/fread/fwrite) now return
4354 'Either FileError ty' where the return type was previously 'ty' to indicate
4455 that they may fail.
4556