[Agda] discovering verbosity options

[Martin Stone Davis]

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>.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170824/b74be8ef/attachment.html>