GNU bug report logs - #17941
`define-method' special-cases zero-subform body

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 4 Jul 2014 22:57:58 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Jul 04 18:57:58 2014
Received: from localhost ([127.0.0.1]:43199 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1X3CQX-00084F-T2
	for submit <at> debbugs.gnu.org; Fri, 04 Jul 2014 18:57:58 -0400
Received: from eggs.gnu.org ([208.118.235.92]:60555)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQV-000842-FE
 for submit <at> debbugs.gnu.org; Fri, 04 Jul 2014 18:57:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQK-0002Sq-Nt
 for submit <at> debbugs.gnu.org; Fri, 04 Jul 2014 18:57:50 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
 T_DKIM_INVALID autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:43435)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQK-0002SW-Kd
 for submit <at> debbugs.gnu.org; Fri, 04 Jul 2014 18:57:44 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34019)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQF-0002NO-2t
 for bug-guile@HIDDEN; Fri, 04 Jul 2014 18:57:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQ9-0002Lr-Ga
 for bug-guile@HIDDEN; Fri, 04 Jul 2014 18:57:39 -0400
Received: from mail-wi0-x232.google.com ([2a00:1450:400c:c05::232]:50841)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <taylanbayirli@HIDDEN>) id 1X3CQ9-0002Lh-9l
 for bug-guile@HIDDEN; Fri, 04 Jul 2014 18:57:33 -0400
Received: by mail-wi0-f178.google.com with SMTP id n15so4331065wiw.5
 for <bug-guile@HIDDEN>; Fri, 04 Jul 2014 15:57:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=date:message-id:from:to:subject;
 bh=mDYufneiPcedk6puuY0E3Gj+yoUFBcI4oHbw8D4g/dE=;
 b=Bs25O0cE6r0NjcnrIrT3WygJe1bXWq+C6ChvlZKvqvDDnPwRQG8AwpEXh9/0LVaNkE
 gKvnqAmiIQCinrocQEoBDtSLNRQT0jBTEt8zbRKanP+G9n9ttx4VjpnmqLCfDnmMcqsM
 Tmfru72gVu6P/9Qj5zMd1dJyRVzK0eEd3blXGJN069lHQSrYflOukBWtsoxoa27eLorV
 tYTicG1TvK4AXoWCYaPcypSxO6hNoFX6bE/teG4ed36gfOPNnuTMkUjQOlNnBAWFoMTb
 I43ywDYYc3k6LEALqui2qJRUrTpESQQAyCMfQ4rgLKHqKdpeQAhitxNpNKrKvtsfehSY
 w8rw==
X-Received: by 10.194.109.170 with SMTP id ht10mr15469572wjb.72.1404514652359; 
 Fri, 04 Jul 2014 15:57:32 -0700 (PDT)
Received: from taylan.uni.cx ([85.100.205.21])
 by mx.google.com with ESMTPSA id kp5sm71826712wjb.30.2014.07.04.15.57.31
 for <bug-guile@HIDDEN>
 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
 Fri, 04 Jul 2014 15:57:31 -0700 (PDT)
Date: Sat, 05 Jul 2014 01:57:13 +0300
Message-Id: <87y4w8d96e.fsf@HIDDEN>
From: Taylan Ulrich Bayirli/Kammer <taylanbayirli@HIDDEN>
To: bug-guile@HIDDEN
Subject: `define-method' special-cases zero-subform body
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.0 (----)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.0 (----)

The `define-method' macro (deferring to the `method' macro) in
modules/oop/goops.scm special-cases a method body of zero forms,
making it (if #f #f).  I don't know if this has a purpose in first
place, but the following fails nevertheless, making the special-case
seem moot and introducing an inconsistency:

(define-method (foo) (begin))

Related bug report:
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17940

Bug originally mentioned in:
http://lists.gnu.org/archive/html/guile-user/2014-07/msg00007.html

Taylan