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 SAA15237; Thu, 5 Sep 2002 18:30:54 +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 SAA15948 for ; Thu, 5 Sep 2002 18:30:53 +0200 (MET DST) Received: from c007.snv.cp.net (h013.c007.snv.cp.net [209.228.33.241]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g85GUp928455 for ; Thu, 5 Sep 2002 18:30:52 +0200 (MET DST) Received: (cpmta 25216 invoked from network); 5 Sep 2002 09:30:49 -0700 Received: from 65.187.194.217 (HELO localhost) by smtp.directvinternet.com (209.228.33.241) with SMTP; 5 Sep 2002 09:30:49 -0700 X-Sent: 5 Sep 2002 16:30:49 GMT Date: Thu, 5 Sep 2002 12:33:13 -0400 Mime-Version: 1.0 (Apple Message framework v482) Content-Type: text/plain; charset=US-ASCII; format=flowed Subject: [Caml-list] camlp4: will there be problems w/many extensions? From: jehenrik To: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <2C0233FC-C0ED-11D6-9EB4-00039375801A@yahoo.com> X-Mailer: Apple Mail (2.482) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I am relying on a syntax for records which relies on adding six extensions to the grammar for every new record type. Is this bad? For now my program has only about 10 record types, but I'm worried that if some point I start loading down the parser, I'll have to go rewrite my macros to use a little different syntax and their own namespaces for the record information. (And of course muck through my source code which uses them.) Is this a useful concern? Would it be good practice to change it anyway? Jeff Henrikson ------------------- 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