On 11/09/2010 01:44 AM, Paulo César Pereira de Andrade wrote:
> > Ok, so what I had missed is that the design is specific to your VM.:)
> I think I did not make myself clear:-) I posted to the list because
> most of the concept is generic, and I plan to implement a proof of
> concept of it shortly. The part specific of my VM is that it needs to
> "hack" the generic one (or have an interface) to have 3 lists that
> are merged from time to time.
Ok, got it. But I think that it's better if your VM first does "type
inferencing" using a standard dataflow algorithm on its own IR, and then
proceeds normally with the generic interface.