Debugging a Heisenbug. Among other efforts to probe it, making a small change to an unrelated function makes it go away. Years ago, I'd have left it at that... but now I'm not going to sleep until I know what's going on...
This is output from Idris so it's weird in various ways. I find static analysis tools either tell me nothing or too much. I haven't hand hacked the output yet though.
-
-
Have you tried Valgrind?
-
Yes. It tells me nothing... I think these tools in general aren't set up for the strange C Idris throws at them. But I bet there's something funny going on that the right tool will find.
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.