git.iko.soy/Idris-dev
on master help sign in
Logging Categories: Fixed typo, and updated changelog.
9255de5Jan de Muijnck-Hughes
CHANGELOG+13−2
compare with master
unifiedsplit
@@ -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+
1New in 0.9.20:
12New in 0.9.20:
2==============
13==============
3
14
@@ -19,7 +30,7 @@ Language updates
19* Name binding in patterns follows the same rule as name binding for implicits
30* Name binding in patterns follows the same rule as name binding for implicits
20 in types: names which begin with lower case letters, not applied to any
31 in types: names which begin with lower case letters, not applied to any
21 arguments, are treated as bound pattern variables.
32 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
23 deprecated name is referenced.
34 deprecated name is referenced.
24
35
25Library updates
36Library updates
@@ -39,7 +50,7 @@ Library updates
39 from Effectful programs.
50 from Effectful programs.
40* Some constructors that never actually occurred have been removed from
51* Some constructors that never actually occurred have been removed from
41 the TT and Raw reflection datatypes in Language.Reflection.
52 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
43 'Either FileError ty' where the return type was previously 'ty' to indicate
54 'Either FileError ty' where the return type was previously 'ty' to indicate
44 that they may fail.
55 that they may fail.
45
56
src/Idris/CmdOptions.hs+1−1
@@ -89,7 +89,7 @@ parseFlags = many $
89 <|> (OLogCats <$> option (str >>= parseLogCats)
89 <|> (OLogCats <$> option (str >>= parseLogCats)
90 (long "logging-categories"
90 (long "logging-categories"
91 <> metavar "CATS"
91 <> metavar "CATS"
92− <> help "Colon separated logging categories: parser, elab, codegen"))
92+ <> help "Colon separated logging categories: parser, elab, codegen, coverage, erasure"))
93
93
94 -- Turn off Certain libraries.
94 -- Turn off Certain libraries.
95 <|> flag' NoBasePkgs (long "nobasepkgs" <> help "Do not use the given base package")
95 <|> flag' NoBasePkgs (long "nobasepkgs" <> help "Do not use the given base package")
src/Idris/REPLParser.hs+1−1
@@ -138,7 +138,7 @@ parserCommands =
138 ":mc <line> <name> adds a case block for the definition of the metavariable on the line"
138 ":mc <line> <name> adds a case block for the definition of the metavariable on the line"
139 , proofArgCmd ["ml", "makelemma"] MakeLemma "?"
139 , proofArgCmd ["ml", "makelemma"] MakeLemma "?"
140 , (["log"], NumberArg, "Set logging verbosity level", cmd_log)
140 , (["log"], NumberArg, "Set logging verbosity level", cmd_log)
141− , ( ["logacts"]
141+ , ( ["logcats"]
142 , ManyArgs NameArg
142 , ManyArgs NameArg
143 , "Set logging categories"
143 , "Set logging categories"
144 , cmd_cats)
144 , cmd_cats)