+ times <- system.time(parse(filename, srcfile=srcfile(filename)))
+ if(loadp) {
+ ## KLUDGE: inelegant, but works. It might be more in the spirit
+ ## of things to keep the result of the parse above around to
+ ## evaluate.
+ `swank:load-file`(slimeConnection, sldbState, filename)
+ }