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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0709ED45F for ; Tue, 1 Nov 2005 15:04:16 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA1E4FaG018022 for ; Tue, 1 Nov 2005 15:04:15 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA31825 for ; Tue, 1 Nov 2005 15:04:15 +0100 (MET) Received: from mail.tcs.inf.tu-dresden.de (tcs01.inf.tu-dresden.de [141.76.75.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA1E4ErQ018019 for ; Tue, 1 Nov 2005 15:04:15 +0100 Received: from localhost (localhost [127.0.0.1]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTP id <0IPA0066O4F2UQ00@mail.tcs.inf.tu-dresden.de> for caml-list@inria.fr; Tue, 01 Nov 2005 15:04:14 +0100 (MET) Received: from tcs01.inf.tu-dresden.de ([127.0.0.1]) by localhost (mail.tcs.inf.tu-dresden.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 12262-06 for ; Tue, 01 Nov 2005 15:04:14 +0100 (MET) Received: from ithif59.inf.tu-dresden.de (ithif59.inf.tu-dresden.de [141.76.75.59]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTPS id <0IPA006HJ4F2UG00@mail.tcs.inf.tu-dresden.de> for caml-list@inria.fr; Tue, 01 Nov 2005 15:04:14 +0100 (MET) Received: from tews by ithif59.inf.tu-dresden.de with local (Exim 4.50) id 1EWwkI-0000tV-Fy for caml-list@inria.fr; Tue, 01 Nov 2005 15:04:14 +0100 Date: Tue, 01 Nov 2005 15:04:14 +0100 From: Hendrik Tews Subject: Re: [Caml-list] Camlp4 question In-reply-to: <43627F87.9090605@gushee.net> To: caml-list@inria.fr Message-id: MIME-version: 1.0 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT X-Virus-Scanned: amavisd-new at tcs.inf.tu-dresden.de References: <43627F87.9090605@gushee.net> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 X-Miltered: at concorde with ID 436775DF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 436775DE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 caml-list:01 ocaml:01 expr:01 mlast:01 expander:01 evidently:01 expander:01 mlast:01 hendrik:01 caml-list:01 writes:01 tu-dresden:01 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 Matt Gushee writes: I had occasion today to look through the pa_r.ml, and noticed the following (line 329 in OCaml 3.08.4): | "object"; cspo = OPT class_self_patt; cf = class_structure; "end" -> (* <:expr< object $opt:cspo$ $list:cf$ end >> *) MLast.ExObj loc cspo cf ] So a quotation expander was created for objects as ordinary expressions, but evidently there was something wrong with it. Anyone know what the problem was? I believe the comment shows what the code should look like if immediate objects would have been implemented in the quotation expander q_MLast.ml. However, immediate objects are not yet in the quotation expander, therefore the real code is what the quoatation expander would have produced (if immediate objects had been implemented). Bye, Hendrik PS. Sorry Matt for posting separately to caml-list.