Email Gateway (Feb 10 2022 at 16:14): Email Gateway (Feb 10 2022 at 16:14):From: Peter Lammich <lammich@in.tum.de>
Hi, I have a problem with debugging reflected code. Any help
appreciated.
Here is a minimal example:
definition "test xs ≡ hd xs"
code_reflect M functions test
ML ‹M.test []›
When I control-click on M.test, or the source of the raised exception
in the error output, jedit opens an empty buffer named "generated code"
in the current directory.
How can I see the actual generated code, and see where the exception
occurs?
Email Gateway (Feb 12 2022 at 06:59):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Peter,
the old-school solution is to use something like
declare [[code_runtime_trace]]
I am not that familiar with PIPE to tell on the spot what would have to
be done
to have point-and-click for generated code also.
Cheers,
Florian
OpenPGP_signature
Last updated: Apr 19 2024 at 08:19 UTC