As https://github.com/plasma-umass/Ninia/pull/11 pointed out, there was an issue with recursion calls. The issue, I think, is not with the implementation of CALL_FUNCTION, but with the creation of child frames. When a new child frame is created off the global frame, the locals of the global frame should be passed in as the globals of the child frame.
As https://github.com/plasma-umass/Ninia/pull/11 pointed out, there was an issue with recursion calls. The issue, I think, is not with the implementation of
CALL_FUNCTION
, but with the creation of child frames. When a new child frame is created off the global frame, the locals of the global frame should be passed in as the globals of the child frame.