From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id D9EE2BDD8 for ; Fri, 26 Aug 2005 17:32:54 +0200 (CEST) Received: from postman.medtronic.com (postman.medtronic.COM [144.15.157.121]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7QFWrWq029022 for ; Fri, 26 Aug 2005 17:32:54 +0200 Received: from bishop.pace.medtronic.COM (localhost [127.0.0.1]) by postman.medtronic.com (8.12.9/8.12.9) with ESMTP id j7QFWnkh026140 for ; Fri, 26 Aug 2005 10:32:49 -0500 (CDT) Received: from pace.medtronic.com. (nenya.pace.medtronic.COM [144.15.20.58]) by bishop.pace.medtronic.COM (8.9.1b+Sun/8.9.1) with ESMTP id KAA08257 for ; Fri, 26 Aug 2005 10:32:56 -0500 (CDT) Received: from [127.0.0.1] (IDENT:U2FsdGVkX19C7omgOg+lxj+gtKHu3tPTUqc5iEKGM6w@localhost [127.0.0.1]) by pace.medtronic.com. (8.12.11/8.12.11) with ESMTP id j7QFWmGp013709 for ; Fri, 26 Aug 2005 10:32:49 -0500 Message-ID: <430F3620.7000503@confluent.org> Date: Fri, 26 Aug 2005 10:32:48 -0500 From: Tom Hawkins User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Abstract Machine Instructions References: <430D3646.4050609@confluent.org> <3d13dcfc05082601225aefd818@mail.gmail.com> In-Reply-To: <3d13dcfc05082601225aefd818@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 430F3625.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 25,:98 wrote:01 abstract:01 cristal:01 cristal:01 inria:05 inria:05 mean:07 maybe:07 machine:08 2005:89 idea:11 some:12 -tom:13 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 David MENTRE wrote: > Hello, > > 2005/8/25, Tom Hawkins : > >>And on the topic of instructions, what does the following mean? >> >> 763 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0)))) > > > Maybe the following doc could be of some help ? > http://cristal.inria.fr/~lebotlan/docaml_html/english/english004.html > http://cristal.inria.fr/~lebotlan/docaml_html/english/index.html Perfect! I had no idea such documentation existed. Thanks. -Tom > > I hope it helps, > Yours, > d. > >