module debugger
intrude import naive_interpreter
-import nitx
intrude import semantize::local_var_init
intrude import semantize::scope
intrude import toolcontext
else if command == "help" then
help
return true
- # Opens a new NitIndex prompt on current model
- else if command == "nitx" then
- new NitIndex.with_infos(modelbuilder, self.mainmodule).prompt
- return true
else if command == "bt" or command == "backtrack" then
print stack_trace
return true
curr_instances[i] = currFra.map[i]
end
end
- if v.returnmark == f then
- v.returnmark = null
+ if v.is_escape(self.return_mark) then
var res = v.escapevalue
- v.escapevalue = null
return res
end
return null