From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#21944: Error on ordering of define-record-type and define-public in a module is unhelpful - possible improvement? Date: Mon, 27 Jun 2016 23:22:29 +0200 Message-ID: <87eg7i8gyy.fsf@pobox.com> References: <20151117212713.48944f57195a04fd0a6c5d86@retro-freedom.nz> <871t3jbqxj.fsf@pobox.com> <874m8f9i02.fsf@pobox.com> <87eg7ia9zz.fsf@netris.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1467062611 19628 80.91.229.3 (27 Jun 2016 21:23:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 21:23:31 +0000 (UTC) Cc: ludo@gnu.org, Koz Ross , 21944@debbugs.gnu.org To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Jun 27 23:23:20 2016 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bHe00-00020u-BY for guile-bugs@m.gmane.org; Mon, 27 Jun 2016 23:23:20 +0200 Original-Received: from localhost ([::1]:32932 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHdzz-0003Cy-Hv for guile-bugs@m.gmane.org; Mon, 27 Jun 2016 17:23:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36730) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHdzo-0002wx-OB for bug-guile@gnu.org; Mon, 27 Jun 2016 17:23:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHdzi-0007Gu-Ne for bug-guile@gnu.org; Mon, 27 Jun 2016 17:23:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:46206) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHdzi-0007Gm-Ji for bug-guile@gnu.org; Mon, 27 Jun 2016 17:23:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bHdzi-0003dc-Cd for bug-guile@gnu.org; Mon, 27 Jun 2016 17:23:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 27 Jun 2016 21:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21944 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 21944-submit@debbugs.gnu.org id=B21944.146706257113946 (code B ref 21944); Mon, 27 Jun 2016 21:23:02 +0000 Original-Received: (at 21944) by debbugs.gnu.org; 27 Jun 2016 21:22:51 +0000 Original-Received: from localhost ([127.0.0.1]:58543 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bHdzX-0003cs-7P for submit@debbugs.gnu.org; Mon, 27 Jun 2016 17:22:51 -0400 Original-Received: from pb-sasl2.pobox.com ([64.147.108.67]:54309 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bHdzV-0003cj-B9 for 21944@debbugs.gnu.org; Mon, 27 Jun 2016 17:22:49 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id AC88C25F18; Mon, 27 Jun 2016 17:22:47 -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=fu9Dkf1XVh/7VOMknEegNZdksHY=; b=JUx8oP +3iMh88SjoMzS4Jtgi/6I36YQ5PmPkkeYyAhqsyeM4ATbTY5Zq8kvA25NeLUS04s mi4N3JGf4fu6Z1qFIxQhih4mOPwU3hFRkh3TYZSHZNQbsoy3ZfR/ljkTtocxK5vY RRnXndBApn2gP72RlN8CCcJQBvo+ltkumyvbc= 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=TI6CenjLqmmSXDK11WuVHklHUw6w1jtL vfLOxN4NXN0trctjFuMZwUnochRuoIIenYTcO1fq2b1tFiA2/yCMn2Qf9eJ1HJdp 5KwlDFr4eD1PkJlIVRxY34y3L2SOn0aGPef6n7lRShnn1uDbek9LBZFzR11fA/y/ cn53WVeCCCg= Original-Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl2.pobox.com (Postfix) with ESMTP id 8FE3F25F15; Mon, 27 Jun 2016 17:22:47 -0400 (EDT) Original-Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl2.pobox.com (Postfix) with ESMTPSA id 3F19B25F14; Mon, 27 Jun 2016 17:22:41 -0400 (EDT) In-Reply-To: <87eg7ia9zz.fsf@netris.org> (Mark H. Weaver's message of "Mon, 27 Jun 2016 12:10:08 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-Pobox-Relay-ID: 47F471D0-3CAD-11E6-A4CC-28A6F1301B6D-02397024!pb-sasl2.pobox.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.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" Xref: news.gmane.org gmane.lisp.guile.bugs:8267 Archived-At: On Mon 27 Jun 2016 18:10, Mark H Weaver writes: >> * if evaluating an expression throws an error, primitive-load doesn't >> read the following expressions and so doesn't detect syntax errors; >> try a file like this: >> >> (error "what") >> ) >> >> With the interpreter (primitive-load) you will get the "what" error, >> not a syntax error. (Yes the unclosed paren hurts my eyeballs but I >> wanted to demonstrate a syntax error. Here's a matching paren: >> ")".) >> >> * Procedural macros won't be able to use bindings defined previously >> in the file unless they are eval-whenned. Of course this already >> breaks in the compiler, but it succeeds in the interpreter. > > Another problem is that in several places, we assume that if a top-level > form calls 'set-current-module', the forms that follow in the file will > now be expanded within that new module. This behavior is needed for > 'define-module' to work properly, and it's also assumed in boot-9.scm, > psyntax-pp.scm, and maybe some other places. I think I fixed this in a reasonable way in master; or, reasonable given the historical mess that this all is anyway :) Your thoughts welcome here. If I did manage to fix that, then the remaining problems are the ones that I mention, plus reader options which I mentioned in another mail. I think probably reader options are the only significant issue. WDYT? Andy