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 QAA22072; Wed, 17 Dec 2003 16:51:49 +0100 (MET) 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 QAA22175 for ; Wed, 17 Dec 2003 16:51:48 +0100 (MET) Received: from mx1.mail.ru (mx1.mail.ru [194.67.23.21]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBHFplX15470 for ; Wed, 17 Dec 2003 16:51:47 +0100 (MET) Received: from [81.56.190.171] (port=50044 helo=localhost) by mx1.mail.ru with smtp id 1AWdxi-000DBT-00; Wed, 17 Dec 2003 18:51:46 +0300 Date: Wed, 17 Dec 2003 16:54:35 +0100 From: Kim Nguyen To: caml-list@inria.fr Cc: Richard Jones Subject: Re: [Caml-list] Quotes in comments: (* " *) Message-Id: <20031217165435.069eb702.nguyen@bk.ru> In-Reply-To: <20031217152232.GA29912@redhat.com> References: <20031217152232.GA29912@redhat.com> X-Mailer: Sylpheed version 0.9.6claws (GTK+ 1.2.10; i386-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg="pgp-sha1"; boundary="Signature=_Wed__17_Dec_2003_16_54_35_+0100_DwMoSuRSBe8QUGxx" X-Spam: Not detected X-Loop: caml-list@inria.fr X-Spam: no; 0.00; kim:99 caml-list:01 faq:01 faq:01 bug:01 kim:99 compiler:01 caml:01 0000:98 imho:01 expert-eng:02 string:03 string:03 wrote:03 let:04 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --Signature=_Wed__17_Dec_2003_16_54_35_+0100_DwMoSuRSBe8QUGxx Content-Type: text/plain; charset=US-ASCII Content-Disposition: inline Content-Transfer-Encoding: 7bit On Wed, 17 Dec 2003 15:22:32 +0000 Richard Jones wrote: > > Is there a deep reason why the compiler is fussed by unmatched quotes > appearing in comments, ie: (* " *) ? This seems necessary to ensure that any piece of code can easily be commented out : (* This is a valid comment let print_close_comment () = print_string "*)" <-- the comment does not end here. *) So the comment part of the lexer needs to analyse strings as well to igonre any "*)" character sequence within a string. And therefore, it fails when a string is unterminated. See http://caml.inria.fr/FAQ/FAQ_EXPERT-eng.html#commentaire IMHO, the bug should be corrected in tuareg-mode (if possible). Cheers, Kim. --Signature=_Wed__17_Dec_2003_16_54_35_+0100_DwMoSuRSBe8QUGxx Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/4Hw+GqhFkfuNlVkRAl+tAJ95BZ/nlPZHvYs76nJwlsFaGlE28gCfa+zk z7XpyVNyaTS0+uwRTL2q924= =kt0Y -----END PGP SIGNATURE----- --Signature=_Wed__17_Dec_2003_16_54_35_+0100_DwMoSuRSBe8QUGxx-- ------------------- 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