@@ -63,17 +63,17 @@ For those that develop on the Idris compiler, the internal operation
63of Idris is captured using a category based logger. Currently, the
63of Idris is captured using a category based logger. Currently, the
64logging infrastructure has support for the following categories:
64logging infrastructure has support for the following categories:
66−+ Parser
66++ Parser (``parser``)
67−+ Elaborator
67++ Elaborator (``elab``)
68−+ Code generation
68++ Code generation (``codegen``)
69−+ Erasure
69++ Erasure (``erasure``)
70−+ Coverage Checking
70++ Coverage Checking (``coverage``)
71−+ IBC generation
71++ IBC generation (``ibc``)
74These categories are specified using the command-line option:
74These categories are specified using the command-line option:
75``--logging-categories CATS``, where ``CATS`` is a quoted colon
75``--logging-categories CATS``, where ``CATS`` is a quoted colon
76−seperated string of the categories you want to see. By default if this
76+separated string of the categories you want to see. By default if this
77option is not specified all categories are allowed. Sub-categories
77option is not specified all categories are allowed. Sub-categories
78have yet to be defined but will be in the future, especially for the
78have yet to be defined but will be in the future, especially for the
79elaborator.
79elaborator.