hacspec
Engine: better debugging infrastructure
I would like to have more ergonomic debugging tools in the engine.
I started adding some debugging primitives for types and expressions: the type or expression is pretty printed as Rust and logged in the terminal, along with a PATH leading to a JSON representation of the full AST. I want to generalize that.
Notes:
- PPX
[%debug: type expression]: if head(type expression) is a function in some moduleDebug.Make(F), then use that function, otherwise defaults to show. This would make - tracing like PPX instrumentize, calls
[%debug: ..]on arguments, hierachical - make those debug/logs handled by the frontend, and show them in the web debugger
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
Not relevant anymore for OCaml. @W95Psp write an issue for Rust AST.
