ThreadSky
About ThreadSky
Log In
anil.recoil.org
•
176 days ago
yeah, started on that in v2 but so many improvements in the compiler in the few years since
https://dev.realworldocaml.org/compiler-backend.html#scrollNav-3-3
Comments
Log in
with your Bluesky account to leave a comment
[–]
kcsrk.info
•
176 days ago
Nice. I didn't know that v2 had this section! It looks like a good start already.
0
reply
[–]
tsmc.purely-functional.com
•
167 days ago
You should switch to LLDB rather than GDB. That way the commands would work for both Linux and macOS, ignoring the assembly differences.
1
1
reply
[–]
anil.recoil.org
•
167 days ago
especially after your recent work to improve matters there -- good suggestion! Are there good LLDB frontends these days (e.g. in VSCode)?
0
1
reply
[–]
tsmc.purely-functional.com
•
167 days ago
I've been using DAP with VSCode and codelldb. Then you can treat it like C/assembly. I wrote up something on the Emacs setup for it here.
https://lambdafoo.com/posts/2024-03-25-ocaml-debugging-with-emacs.html
2
1
reply
[–]
tsmc.purely-functional.com
•
167 days ago
For macOS and Linux the state of debugging is good. Planning to work more next year on support for DWARF and name mangling so we can an even better experience.
1
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments