From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Bruno Haible Newsgroups: gmane.lisp.guile.bugs Subject: bug#9672: bug in SRFI-30 comment parser Date: Tue, 4 Oct 2011 23:45:19 +0200 Message-ID: <201110042345.19228.bruno@clisp.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1317764803 25086 80.91.229.12 (4 Oct 2011 21:46:43 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 4 Oct 2011 21:46:43 +0000 (UTC) To: 9672@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Oct 04 23:46:35 2011 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RBCot-0004eY-Gw for guile-bugs@m.gmane.org; Tue, 04 Oct 2011 23:46:35 +0200 Original-Received: from localhost ([::1]:32965 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCos-000658-W5 for guile-bugs@m.gmane.org; Tue, 04 Oct 2011 17:46:34 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:56430) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCoq-000653-LL for bug-guile@gnu.org; Tue, 04 Oct 2011 17:46:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBCop-0008D9-Gp for bug-guile@gnu.org; Tue, 04 Oct 2011 17:46:32 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:43227) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBCop-0008D4-Em for bug-guile@gnu.org; Tue, 04 Oct 2011 17:46:31 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RBCqH-0005Js-Vb for bug-guile@gnu.org; Tue, 04 Oct 2011 17:48:02 -0400 X-Loop: help-debbugs@gnu.org 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: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.131776484120387 (code B ref -1); Tue, 04 Oct 2011 21:48:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 4 Oct 2011 21:47:21 +0000 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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) User-Agent: KMail/1.13.6 (Linux/2.6.37.6-0.5-desktop; KDE/4.6.0; x86_64; ; ) 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Tue, 04 Oct 2011 17:48:01 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:5851 Archived-At: 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