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 HAA05731; Wed, 9 Oct 2002 07:48:33 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA06507 for ; Wed, 9 Oct 2002 07:48:32 +0200 (MET DST) Received: from anumail5.anu.edu.au (anumail5.anu.edu.au [150.203.2.45]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g995mUD16998 for ; Wed, 9 Oct 2002 07:48:31 +0200 (MET DST) Received: from zed.cipputi.it (rsisedhcp-166.anu.edu.au [150.203.126.166]) by anumail5.anu.edu.au (8.12.4/8.12.4) with ESMTP id g995mSVp005885 for ; Wed, 9 Oct 2002 15:48:28 +1000 (EST) Received: from zed.cipputi.it (zed [127.0.0.1]) by zed.cipputi.it (8.12.6/8.12.6/Debian-6) with ESMTP id g995k5hi018916 for ; Wed, 9 Oct 2002 15:46:06 +1000 Received: (from abate@localhost) by zed.cipputi.it (8.12.6/8.12.6/Debian-6) id g995k4NO018914 for caml-list@inria.fr; Wed, 9 Oct 2002 15:46:04 +1000 Date: Wed, 9 Oct 2002 15:46:04 +1000 From: Pietro Abate To: caml-list@inria.fr Subject: Re: [Caml-list] Caml4p... help Message-ID: <20021009054604.GA18356@zed> Mail-Followup-To: Pietro Abate , caml-list@inria.fr References: <20021009015023.GA10937@zed> <1BC7BF40-DB38-11D6-8FB2-00039375801A@yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1BC7BF40-DB38-11D6-8FB2-00039375801A@yahoo.com> User-Agent: Mutt/1.4i X-Operating-System: GNU/Linux X-Organization: Research School of Information Science and Engineering (Austrialian National University) X-Spam-Score: - (Not scanned - Mail is from an internal relay) X-Scanned-By: MIMEDefang 2.15 (www dot roaringpenguin dot com slash mimedefang) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk thank you for you help... but I'm still missing something. I want to produce a let statement. However my code produces something like that: let _ = let pc = `Forall [|`Rule "a"; `Rule "b"; `Rule "c"|] in pc that is not really helpful. I suppose the problem lays in the level declaration (I used expr : LEVEL "top") or in the quotation iteself (I used <:expr< let $lid:n$ = $s$ in $lid:n$>>). I don't quite understand the quotation syntax. They are written in the revised syntax, so they don't permit to write something like "let a = 10;;", but there are not "value" statement to declare a binding. how can I transform my declaration str pc : [a;b;c];; in something like that let pc = `Forall [|`Rule "a"; `Rule "b"; `Rule "c"|];; ? My final goal is to use camlp4 to simplify and extend the ocaml syntax to write simple programs that I'll use to feed a virtual machine... thanks, p On Tue, Oct 08, 2002 at 11:35:08PM -0400, jehenrik wrote: > str pc : [a;b;c];; > # - : _[> `Forall of _[> `Rule of string] array] = > `Forall [|`Rule "a"; `Rule "b"; `Rule "c"|] -- pgp key: 1024D/8A091922 2000-10-18 Pietro Abate Key fingerprint = 5111 D91B 5E0C 5CE6 FDA3 5EF4 6120 E18E 8A09 1922 public key avalaible via public key server at wwwkeys.eu.pgp.net ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners