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...
-
Show this thread
-
Replying to @edwinbrady
If it’s a timing related thing that’s stack tracing. If it’s stochastic parameters, grab a six pack.
1 reply 0 retweets 0 likes -
Replying to @akohli
It's not timing, but that's about the only thing I can say with confidence. And I might be wrong about that. Isn't C fun...
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
Indeed it is. Could be a memory over run thing. Did you lint? And there must be more advanced tools now.
1 reply 0 retweets 0 likes -
Replying to @akohli
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.
1 reply 0 retweets 0 likes -
-
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.
2 replies 0 retweets 0 likes -
Replying to @edwinbrady @dfranke
Btw you have a gist or something ? Maybe an extra pair of eyes?
1 reply 0 retweets 0 likes
Just the nearly 40000 lines of macro-ridden nonsense that Idris spits out! But perhaps there is something in the macros... https://github.com/idris-lang/Idris-dev/blob/master/rts/idris_rts.h … Mostly I'm convinced that writing run time systems is a job for Anyone But Me. But until then, this is what it is...
-
-
Replying to @edwinbrady @dfranke
In all seriousness if the runtime/emitter stuff is something idris would need a hand with, if love to pitch in. I have experience in it (old school stuff) but that’s no harm.
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.