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
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:
{
Dear David,
As you mentioned previously, Poly/ML first compiles ML program into
the IR, which is further passed to a code generator to produce low
level code.
I was trying to understand and document the semantics of the opcode
set used by Poly/ML's interpreter, and I'm wondering whether inside
On Sun, Aug 22, 2010 at 5:32 AM, David Matthews
david.matth...@prolingua.co.uk wrote:
Yue Li wrote:
I was trying to understand and document the semantics of the opcode
set used by Poly/ML's interpreter, and I'm wondering whether inside
Poly/ML's compiler, there are such debugging functions
quite understand why LOCALS in the first Block is always
0, and why the LOCALS below is 3.
Thank you very much!!
-- Yue
On Sun, Aug 22, 2010 at 3:22 PM, Yue Li xyly...@gmail.com wrote:
On Sun, Aug 22, 2010 at 5:32 AM, David Matthews
david.matth...@prolingua.co.uk wrote:
Yue Li wrote:
I
Dear David,
On Thu, Sep 2, 2010 at 6:20 AM, David Matthews
david.matth...@prolingua.co.uk wrote:
Dear Yue,
You've obviously made quite a lot of progress.
Thanks! It was a pleasant experience to read the Poly/ML's compiler code.
Yue Li wrote:
1. In the printed IR of a program, seems
Dear David,
I'm trying to understand the IR of functors in Poly/ML, and I got a
few questions here:
1. I tried the following example:
signature A =
sig
type element
end
signature B =
sig
type element
end
functor myfctor(s: A) : B =
struct
type element = s.element
end
which corresponds
Dear David,
So far I've been able to generate Poly/ML style codetree for a subset
of Spad language used in OpenAxiom. The codetree is written into a
text file. As an example, for the following spad function:
foo (a : Integer) : Integer ==
a := a + 1
a
I currently generate the following
On 02/28/2011 07:55 AM, David Matthews wrote:
I'm thinking that the next step for me is to call Poly/ML middle
functions that would take the codetree and evaluate the entire
codetree for a Spad function (and then hopefully a Spad domain.) I've
read the code and the documentation in the codetree
To the list.
Original Message
Subject:creating heterogeneous array in the Poly/ML codetree
Date: Thu, 10 Mar 2011 16:07:50 -0600
From: Yue Li y...@cse.tamu.edu
Organization: CSE Department, Texas AM
To: David Matthews david.matth...@prolingua.co.uk
CC
10 matches
Mail list logo
