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

[Zoltan Somogyi]

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.

Zoltan.