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...
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.
-
-
Btw you have a gist or something ? Maybe an extra pair of eyes?
-
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...
- 1 more reply
New conversation -
-
-
Not sure if this helps, but if you rewrite your emitter to target something aside from llvm you could burn hours and make it feel like progress.
Thanks. 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.