freenode/#sicl - IRC Chatlog
Search
14:14:55
beach
jackdaniel: As you might know, I am writing a paper about debugging to submit to ELS, and I would like to include several existing implementations into the "previous work" section. So, when you have time, could you tell me: 1. whether ECL has the concept of breakpoints at all. 2. If so how they are implemented. 3. How ECL TRACE works. 4. How the stepper works. ? Thanks in advance.
14:18:02
Bike
for clasp it's 1. no 2. n/a 3. changes the fdefinition 4. there is no stepper, if you wanna throw that in
14:22:29
jackdaniel
beach: sure. stepping works in the bytecodes vm (interpreter has a special opcode for stepping). trace is implemented by changing the fdefinition (there is a funny bug, because when you compile traced function, then you may trace again result what looks weird)
14:22:59
jackdaniel
as of break and working with code compiled to native via C, there is gdb (and ECL has a perpared gdbinit with some definitions)
14:23:48
jackdaniel
the original definition is not "visible", because tracing parts were "compiled in"
14:24:52
Bike
i rewrote clasp trace a while back so it doesn't compile anything itself, and stuff. nothing in it is clasp specific i think so you could probably use it. of course, it's a different situation since clasp compiles everything anyway
14:25:08
beach
I think that's sufficient. If I think of something else, I'll ask again. Thank you very much.
14:27:58
jackdaniel
afaik there are few other issues (at least with ecl) -- small disparities between documentation and functionality, but that will need to be investigated