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 LAA02857; Thu, 6 Sep 2001 11:37:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA02625 for caml-list@pauillac.inria.fr; Thu, 6 Sep 2001 11:37:48 +0200 (MET DST) 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 MAA15891 for ; Wed, 5 Sep 2001 12:59:07 +0200 (MET DST) Received: from sarg.ryerson.ca (sarg.ryerson.ca [141.117.18.117]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f85Ax5913905; Wed, 5 Sep 2001 12:59:05 +0200 (MET DST) Received: from sarg.ryerson.ca (dmason@localhost) by sarg.ryerson.ca (8.11.2/8.11.2) with ESMTP id f85AwxM05118; Wed, 5 Sep 2001 06:58:59 -0400 Message-Id: <200109051058.f85AwxM05118@sarg.ryerson.ca> To: caml-list@inria.fr cc: Alex Cowie , STARYNKEVITCH Basile , Daniel de Rauglaudre Subject: Re: [Caml-list] Different types of streams In-reply-to: Your message of "Wed, 05 Sep 2001 11:30:21 +0200." <20010905113021.N5393@verdot.inria.fr> User-Agent: EMH/1.10.0 SEMI/1.13.7 (Awazu) CLIME/1.13.6 (=?ISO-2022-JP?B?GyRCQ2YlTj4xGyhC?=) MULE XEmacs/21.1 (patch 14) (Cuyahoga Valley) (alpha-redhat-linux) MIME-Version: 1.0 (generated by SEMI 1.13.7 - "Awazu") Content-Type: text/plain; charset=US-ASCII Date: Wed, 05 Sep 2001 06:58:59 -0400 From: Dave Mason Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (I've cc'ed everyone because for some reason my postings rarely make it to the mailing list, and if they do they take days.) >>>>> On Wed, 5 Sep 2001 11:30:21 +0200, Daniel de Rauglaudre said: > On Wed, Sep 05, 2001 at 06:43:58PM +0930, Alex Cowie wrote: >> The convenience of having this parsing facility within the Ocaml >> syntax should not be underestimated particularly for program >> development under the toplevel. I want to re-iterate this. I have several 10's of lines of caml code, and probably 1/2 of the programs I write use the [< >] parsing. > Under the toplevel, you can #load "camlp4o.cma" Honestly, I don't really understand the implications of the preprocessor. If that is literally all I have to do and then I can use the syntax, that is probably fine (and if it's just as easy from the command line and for ocamlopt). But I guess I don't understand why it won't be the default if it's really that trivial. > Remember that the streams and parsers in OCaml have a very bad > implementation, not tail recursive and not optimized. We regularly > receive bug reports about their slowness and stack overflows when > they are used. I don't think anyone is arguing against fixing the implementation, but the [< >] parsers are much more convenient/natural than yacc-like parsers for many people and purposes. Even a switch that let me choose LALR or LL parsing but used the same syntax (as some C-based tools do - see (I think) ANTLR) would seem to address this. ../Dave ------------------- 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