[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