[Agda] tracing & profiling

Ulf Norell ulf.norell at gmail.com
Mon Jan 20 21:06:01 CET 2020


On Mon, Jan 20, 2020 at 8:35 PM Nils Anders Danielsson <nad at cse.gu.se>
wrote:

> If you use the GHC backend, then you can presumably use GHC's profiling
> capabilities. However, Agda generates code with names like du348, so it
> might be hard to read the resulting profiles. (I guess it shouldn't be
> too hard to generate more readable names. Pull requests are welcome.)
>

See https://github.com/agda/agda-ghc-names

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


More information about the Agda mailing list