Re: [polyml] Poly/ML interpreter's opcodes

2010-05-19 Thread David Matthews
Yue, Yue Li wrote: Right now I'm studying the Poly/ML's interpreter, trying to understand the semantics of opcodes implemented in interpret.cpp. However, I have difficulty on understanding some of the opcodes: 1. INSTR_non_local, in its implementation Here what does this instruction do, and

[polyml] Poly/ML interpreter's opcodes

2010-05-18 Thread Yue Li
Dear David, Right now I'm studying the Poly/ML's interpreter, trying to understand the semantics of opcodes implemented in interpret.cpp. However, I have difficulty on understanding some of the opcodes: 1. INSTR_non_local, in its implementation case INSTR_non_local: {