From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA31292; Tue, 22 Jan 2002 16:05:50 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA30993 for ; Tue, 22 Jan 2002 16:05:49 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0MF5mf11959 for ; Tue, 22 Jan 2002 16:05:48 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id QAA09124 for caml-list@inria.fr; Tue, 22 Jan 2002 16:05:48 +0100 Date: Tue, 22 Jan 2002 16:05:48 +0100 From: Daniel de Rauglaudre To: OCAML Subject: Re: [Caml-list] p4 (newbie) question Message-ID: <20020122160548.K4134@verdot.inria.fr> References: <86d703r2cg.fsf@speakeasy.org> <20020122094714.B1462@verdot.inria.fr> <863d0yzbnb.fsf@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <863d0yzbnb.fsf@speakeasy.org>; from itz@speakeasy.org on Tue, Jan 22, 2002 at 06:46:32AM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Tue, Jan 22, 2002 at 06:46:32AM -0800, Ian Zimmerman wrote: > Well, I guess I can rephrase my question then: shouldn't there be both > MLast.ExRecAcc (loc, e1, e2) and > MLast.ExModAcc (loc, me1, e2) I prefer being far from semantics. I just consider syntax as syntax. Same thing for "types" and "types declarations" which are different in OCaml syntax tree, but not in Camlp4 syntax tree where there are only "types". > So my me1 can be any module access path in general (OK, no functor > applications for now, but arbitrary depth). Then use <:expr< $uid:s$ . $...$ >> in an iterator to create your Camlp4 syntax tree. > Antoher question, and one I am afraid I know the answer to: > where/what is the quotation for applicative record update > {foo with bar = expr} ? <:expr< {(foo) with bar = expr} >> -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr