[Agda] discovering verbosity options

[Ulf Norell]

You can get a list of verbosity options using `git grep reportS src/`. When
debugging constraint solving I typically run `-v tc:80` and pipe the output
to a file. The output contains balanced curly braces which lets you skip
over uninteresting parts.

/ Ulf

On Fri, Aug 25, 2017 at 3:49 AM, Martin Stone Davis <
martin.stone.davis at gmail.com> wrote:

> Is there a list of verbosity options? E.g. "treeless.opt.aspat",
> "tc.size.solve", etc. Preferably with some sort of description?
>
> If not, what verbosity options would be useful in analyzing Agda's
> approach to constraint solving and instance resolution? I.e., the sort of
> thing that might be useful in creating small test cases for issues like
> #2713 <https://github.com/agda/agda/issues/2713> or #2709
> <https://github.com/agda/agda/issues/2709>.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170825/b98cea1d/attachment.html>