From unknown Sun Jun 15 08:43:41 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9672: bug in SRFI-30 comment parser Resent-From: Bruno Haible Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 04 Oct 2011 21:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 9672 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 9672@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.131776484120387 (code B ref -1); Tue, 04 Oct 2011 21:48:01 +0000 Received: (at submit) by debbugs.gnu.org; 4 Oct 2011 21:47:21 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBCpc-0005Im-Sx for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:47:21 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBCpa-0005Ie-6F for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:47:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBCo5-00087r-Nc for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:45:46 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_NONE, T_DKIM_INVALID autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([140.186.70.17]:39727) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo5-00087n-MB for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:45:45 -0400 Received: from eggs.gnu.org ([140.186.70.92]:56016) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo4-00063V-F3 for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBCo2-00087X-HN for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:44 -0400 Received: from mo-p00-ob.rzone.de ([81.169.146.161]:27087) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo1-00087G-M2 for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:42 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1317764740; l=1343; s=domk; d=haible.de; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Date:Subject:To: From:X-RZG-CLASS-ID:X-RZG-AUTH; bh=HAvvEEfhkfZx4JIz4potG1T5Yfg=; b=Pc5hhodT7H+oyaXUFUS2xJReA0wDYfsNt0thnyjogv/57QZ/zW56itc2WPV9UdNeWT9 fVUP4kFjF89787+xktyXgNhwqyCFCPb9ticIKmuqFzpDpBHaR4weWRSXgXOrzT0YcD422 2FteUrqEYtrYvdgZyDh/4Vf9vpyXE2W+pV0= X-RZG-AUTH: :Ln4Re0+Ic/6oZXR1YgKryK8brksyK8dozXDwHXjf9hj/zDNRb/Q45hFP X-RZG-CLASS-ID: mo00 Received: from linuix.haible.de (dslb-088-068-062-040.pools.arcor-ip.net [88.68.62.40]) by smtp.strato.de (jimi mo42) (RZmta 26.10 AUTH) with ESMTPA id J06274n94JecNk ; Tue, 4 Oct 2011 23:45:20 +0200 (MEST) From: Bruno Haible Date: Tue, 4 Oct 2011 23:45:19 +0200 User-Agent: KMail/1.13.6 (Linux/2.6.37.6-0.5-desktop; KDE/4.6.0; x86_64; ; ) MIME-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: 8bit Message-Id: <201110042345.19228.bruno@clisp.org> X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.17 X-Spam-Score: -5.3 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.3 (-----) Hi, Block comments whose contents end with an odd number of vertical bars are not parsed correctly by guile-2.0.2. The guile manual [1] says: "Guile (starting from version 2.0) supports nested block comments as specified by R6RS and SRFI-30" R6RS [2] says: "Block comments may be indicated with properly nested #|and |# pairs." More formally, SRFI-30 [3] implies that in particular #| |# is a comment, where ---> Now look at this guile session: When I use a that ends in 1 or 3 or 5 ... trailing vertical bars, guile misses the end of the block comment and hangs. scheme@(guile-user)> '(a #|foo|# b) $1 = (a b) scheme@(guile-user)> '(a #|foo|||# b) $2 = (a b) scheme@(guile-user)> '(a #|foo|||||# b) $3 = (a b) scheme@(guile-user)> '(a #|foo||# b) [hangs] scheme@(guile-user)> '(a #|foo||||# b) [hangs] The bug is most likely located in libguile/read.c, function scm_read_r6rs_block_comment, line 1204. Bruno [1] http://www.gnu.org/software/guile/manual/html_node/Block-Comments.html [2] http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-7.html#node_sec_4.2.3 [3] http://srfi.schemers.org/srfi-30/srfi-30.html -- In memoriam Irena Iłłakowicz From unknown Sun Jun 15 08:43:41 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.427 (Entity 5.427) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Bruno Haible Subject: bug#9672: closed (Re: bug#9672: bug in SRFI-30 comment parser) Message-ID: References: <87mxdftgry.fsf@pobox.com> <201110042345.19228.bruno@clisp.org> X-Gnu-PR-Message: they-closed 9672 X-Gnu-PR-Package: guile Reply-To: 9672@debbugs.gnu.org Date: Wed, 05 Oct 2011 18:51:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1317840663-17433-1" This is a multi-part message in MIME format... ------------=_1317840663-17433-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #9672: bug in SRFI-30 comment parser which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 9672@debbugs.gnu.org. --=20 9672: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D9672 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1317840663-17433-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 9672-done) by debbugs.gnu.org; 5 Oct 2011 18:50:08 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBWXe-0004W2-8U for submit@debbugs.gnu.org; Wed, 05 Oct 2011 14:50:07 -0400 Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62] helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBWXb-0004Vi-6Q for 9672-done@debbugs.gnu.org; Wed, 05 Oct 2011 14:50:04 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 3A5AC890D; Wed, 5 Oct 2011 14:49:58 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=lXHffxxedqKqPvN3y+l4XEHnoJE=; b=iYIs+F XuysP7jCGGXDC3T7Kiamjg/iGs9BOet7XnMFFOHGLNTEZmYu/fPWyN+C18usTVtS uU9mDnnT2VN4nXKTw2g13ypiCLJOJAw5yOwzhr9Wasxzviag4zkgc8qsf3C0pM1C iPVJhfu3ng7EMnpa1mSrSkCLu9a/I/Jfu5+Ss= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=f647VesrOL03Rg4FehpThfe8DXsXlXTy 0yvHshb3SEudnnoj9qvq5T2hOUd3q8PR/DRP8gfPk7pCWO05eusFJiF7gKpVvUU3 744THGmkl5+cadoNQtdSa6ohDXKd5HHwJzvlLHAAR4xLpDvtx2n3bR0lQMj0EqDf 8OgV9XZQjvs= Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 3380F890C; Wed, 5 Oct 2011 14:49:58 -0400 (EDT) Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id AA47C890B; Wed, 5 Oct 2011 14:49:57 -0400 (EDT) From: Andy Wingo To: Bruno Haible Subject: Re: bug#9672: bug in SRFI-30 comment parser References: <201110042345.19228.bruno@clisp.org> Date: Wed, 05 Oct 2011 20:49:53 +0200 In-Reply-To: <201110042345.19228.bruno@clisp.org> (Bruno Haible's message of "Tue, 4 Oct 2011 23:45:19 +0200") Message-ID: <87mxdftgry.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Pobox-Relay-ID: D28E070C-EF82-11E0-B3D0-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-Spam-Score: -3.0 (---) X-Debbugs-Envelope-To: 9672-done Cc: 9672-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.0 (---) Thanks for the note, Bruno. I have fixed the bug in stable-2.0. Cheers, Andy -- http://wingolog.org/ ------------=_1317840663-17433-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 4 Oct 2011 21:47:21 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBCpc-0005Im-Sx for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:47:21 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBCpa-0005Ie-6F for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:47:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBCo5-00087r-Nc for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:45:46 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_NONE, T_DKIM_INVALID autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([140.186.70.17]:39727) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo5-00087n-MB for submit@debbugs.gnu.org; Tue, 04 Oct 2011 17:45:45 -0400 Received: from eggs.gnu.org ([140.186.70.92]:56016) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo4-00063V-F3 for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBCo2-00087X-HN for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:44 -0400 Received: from mo-p00-ob.rzone.de ([81.169.146.161]:27087) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCo1-00087G-M2 for bug-guile@gnu.org; Tue, 04 Oct 2011 17:45:42 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1317764740; l=1343; s=domk; d=haible.de; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Date:Subject:To: From:X-RZG-CLASS-ID:X-RZG-AUTH; bh=HAvvEEfhkfZx4JIz4potG1T5Yfg=; b=Pc5hhodT7H+oyaXUFUS2xJReA0wDYfsNt0thnyjogv/57QZ/zW56itc2WPV9UdNeWT9 fVUP4kFjF89787+xktyXgNhwqyCFCPb9ticIKmuqFzpDpBHaR4weWRSXgXOrzT0YcD422 2FteUrqEYtrYvdgZyDh/4Vf9vpyXE2W+pV0= X-RZG-AUTH: :Ln4Re0+Ic/6oZXR1YgKryK8brksyK8dozXDwHXjf9hj/zDNRb/Q45hFP X-RZG-CLASS-ID: mo00 Received: from linuix.haible.de (dslb-088-068-062-040.pools.arcor-ip.net [88.68.62.40]) by smtp.strato.de (jimi mo42) (RZmta 26.10 AUTH) with ESMTPA id J06274n94JecNk ; Tue, 4 Oct 2011 23:45:20 +0200 (MEST) From: Bruno Haible To: bug-guile@gnu.org Subject: bug in SRFI-30 comment parser Date: Tue, 4 Oct 2011 23:45:19 +0200 User-Agent: KMail/1.13.6 (Linux/2.6.37.6-0.5-desktop; KDE/4.6.0; x86_64; ; ) MIME-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: 8bit Message-Id: <201110042345.19228.bruno@clisp.org> X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.17 X-Spam-Score: -5.3 (-----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.3 (-----) Hi, Block comments whose contents end with an odd number of vertical bars are not parsed correctly by guile-2.0.2. The guile manual [1] says: "Guile (starting from version 2.0) supports nested block comments as specified by R6RS and SRFI-30" R6RS [2] says: "Block comments may be indicated with properly nested #|and |# pairs." More formally, SRFI-30 [3] implies that in particular #| |# is a comment, where ---> Now look at this guile session: When I use a that ends in 1 or 3 or 5 ... trailing vertical bars, guile misses the end of the block comment and hangs. scheme@(guile-user)> '(a #|foo|# b) $1 = (a b) scheme@(guile-user)> '(a #|foo|||# b) $2 = (a b) scheme@(guile-user)> '(a #|foo|||||# b) $3 = (a b) scheme@(guile-user)> '(a #|foo||# b) [hangs] scheme@(guile-user)> '(a #|foo||||# b) [hangs] The bug is most likely located in libguile/read.c, function scm_read_r6rs_block_comment, line 1204. Bruno [1] http://www.gnu.org/software/guile/manual/html_node/Block-Comments.html [2] http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-7.html#node_sec_4.2.3 [3] http://srfi.schemers.org/srfi-30/srfi-30.html -- In memoriam Irena Iłłakowicz ------------=_1317840663-17433-1--