Re: [polyml] Documentation of Poly/ML opcode

2010-05-01 Thread David Matthews
Hi, The opcodes in int_opcodes.h apply only to the interpreted version of Poly/ML and the interpreter is only used on platforms where there is no native code-generator. There's not much, if any, documentation for the internals of the compiler or run-time system. Probably the most useful

Fwd: Re: [polyml] Documentation of Poly/ML opcode

2010-05-01 Thread Yue Li
forward to the list. Original Message Subject:Re: [polyml] Documentation of Poly/ML opcode Date: Sat, 01 May 2010 13:58:45 -0500 From: Yue Li xyly...@gmail.com To: David Matthews david.matth...@prolingua.co.uk Hi, David, On 05/01/2010 06:38 AM, David