From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 63192BDD7 for ; Fri, 26 Aug 2005 10:22:11 +0200 (CEST) Received: from nproxy.gmail.com (nproxy.gmail.com [64.233.182.195]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7Q8MAS7025843 for ; Fri, 26 Aug 2005 10:22:11 +0200 Received: by nproxy.gmail.com with SMTP id a4so152640nfc for ; Fri, 26 Aug 2005 01:22:10 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=YQi2HH9GLmKwGd+IoB/DGYq0EIo8HKdDrxr+DevbC6x7EkA49YuPFeTOO41yCKCo/SDuM668bqOHYB4tqgJGZC+pk4n4fJ+J4KoL6bSqaZgZ+bF8i7Sb6dTH/ftcQeJHclJC29rJ2hI4q4EA1LMKcgp10buNeB0UytKqiXp23n4= Received: by 10.48.49.19 with SMTP id w19mr142438nfw; Fri, 26 Aug 2005 01:22:10 -0700 (PDT) Received: by 10.48.42.9 with HTTP; Fri, 26 Aug 2005 01:22:10 -0700 (PDT) Message-ID: <3d13dcfc05082601225aefd818@mail.gmail.com> Date: Fri, 26 Aug 2005 10:22:10 +0200 From: David MENTRE Reply-To: To: Tom Hawkins Subject: Re: [Caml-list] Abstract Machine Instructions Cc: caml-list@yquem.inria.fr In-Reply-To: <430D3646.4050609@confluent.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <430D3646.4050609@confluent.org> X-Miltered: at nez-perce with ID 430ED133.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 25,:98 abstract:01 cristal:01 cristal:01 inria:05 inria:05 mean:07 maybe:07 machine:08 2005:89 some:12 david:14 david:14 does:14 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=RCVD_BY_IP,REPLY_TO_EMPTY autolearn=disabled version=3.0.3 Hello, 2005/8/25, Tom Hawkins : > And on the topic of instructions, what does the following mean? >=20 > 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 I hope it helps, Yours, d.