[m-rev.] for review: announce --show-definitions and --show-definition-line-counts

[Julien Fischer]

On Sun, 5 Jan 2020, Zoltan Somogyi wrote:

> On Sun, 5 Jan 2020 20:58:59 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
>> +### New auxiliary output options
>> +
>> +* `--show-definitions`
>> +
>> +  This option causes the compiler to write out a list of the types, insts,
>> +  modes, predicates, functions, typeclasses and instances defined in a module
>> +  to a file named `<module>.defns`.
>> +
>> +* `--show-definition-line-counts`
>> +
>> +  This option causes the compiler to write out a list of predicates and
>> +  functions defined in a module, together with the names of the files
>> +  containing them and their approximate line counts to a file named
>> +  `<module>.defn_line_counts`.
>> +
>
> Add a comma after "line counts". Other than that, the diff is fine.

Done.

Julien.