From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Alejandro Sanchez Newsgroups: gmane.lisp.guile.bugs Subject: bug#26026: Defining a method named zero? breaks primitive zero? Date: Wed, 8 Mar 2017 12:07:56 +0100 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1488989430 26238 195.159.176.226 (8 Mar 2017 16:10:30 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 8 Mar 2017 16:10:30 +0000 (UTC) To: 26026@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Mar 08 17:10:26 2017 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cleAS-0006KM-49 for guile-bugs@m.gmane.org; Wed, 08 Mar 2017 17:10:24 +0100 Original-Received: from localhost ([::1]:57156 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cleAY-0006we-3W for guile-bugs@m.gmane.org; Wed, 08 Mar 2017 11:10:30 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39787) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cleAB-0006gf-Ay for bug-guile@gnu.org; Wed, 08 Mar 2017 11:10:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cleA6-0005z3-CL for bug-guile@gnu.org; Wed, 08 Mar 2017 11:10:07 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:48305) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cleA6-0005yh-8p for bug-guile@gnu.org; Wed, 08 Mar 2017 11:10:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cleA5-0004um-U2 for bug-guile@gnu.org; Wed, 08 Mar 2017 11:10:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Alejandro Sanchez Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 08 Mar 2017 16:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 26026 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.148898939618874 (code B ref -1); Wed, 08 Mar 2017 16:10:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 8 Mar 2017 16:09:56 +0000 Original-Received: from localhost ([127.0.0.1]:46504 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cleA0-0004uL-5b for submit@debbugs.gnu.org; Wed, 08 Mar 2017 11:09:56 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:50266) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1clZSR-0002Sb-Mg for submit@debbugs.gnu.org; Wed, 08 Mar 2017 06:08:39 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1clZSL-0007XF-J2 for submit@debbugs.gnu.org; Wed, 08 Mar 2017 06:08:34 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:33518) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1clZSL-0007XB-G1 for submit@debbugs.gnu.org; Wed, 08 Mar 2017 06:08:33 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:41226) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1clZSK-0006xH-DZ for bug-guile@gnu.org; Wed, 08 Mar 2017 06:08:33 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1clZSF-0007Vr-JN for bug-guile@gnu.org; Wed, 08 Mar 2017 06:08:32 -0500 Original-Received: from lb1.openmailbox.org ([5.79.108.160]:59792 helo=mail.openmailbox.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1clZSF-0007Up-Ab for bug-guile@gnu.org; Wed, 08 Mar 2017 06:08:27 -0500 Original-Received: by mail.openmailbox.org (Postfix, from userid 20002) id 35B7251626F; Wed, 8 Mar 2017 12:07:59 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=openmailbox.org; s=openmailbox; t=1488971293; bh=hRnSclLA2XPDKOPKgaNwa/0x0//AH0vjQ193WV8Nhpg=; h=From:Subject:Date:To:From; b=t2t360ezEWwpxDuG+Qwxu/EO9y/KzQFLXeWbKEDjR2gsv0uxnanNXDNrGQqI5GoOc lYFcbcqMj/F0MGH/4HlAw9BhdGwfgT1rIUczcE5Kj7GdaaS5iDlLBOEMXXSj7S9DFL f2yYxu5i186CeACbK3lGfyMT1+UKXefqdBL03VWs= DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=openmailbox.org; s=openmailbox; t=1488971279; bh=hRnSclLA2XPDKOPKgaNwa/0x0//AH0vjQ193WV8Nhpg=; h=From:Subject:Date:To:From; b=FJ0MvSi3UtUxsv5cqYlc3UKDPNOEpDB6FPoRHhVkB4Uw1DJb3w/zv3mbDpsp9oBps JkovNbhmNvAiYLqi/6kduO34BEycz31vF+HYccAy8gs0IM+IAQRjUER/p4NSz6P6VW TqzdI99x1Yr/byZHzfynCTnMde/WUu9UraUL2aUE= X-Mailer: Apple Mail (2.3124) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Mailman-Approved-At: Wed, 08 Mar 2017 11:09:55 -0500 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:8662 Archived-At: If I define a =E2=80=98zero?=E2=80=99 predicate method for a custom = class the primitive =E2=80=98zero?=E2=80=99 is lost. Here is a simple = vector module: ;;; File vector2.scm (define-module (vector2) #:use-module (oop goops) #:export ( get-x get-y zero?)) =09 (define-class () (x #:init-value 0 #:getter get-x #:init-keyword #:x) (y #:init-value 0 #:getter get-y #:init-keyword #:y) ) (define-generic zero?) (define-method (zero? (v )) (and (zero? (get-x v)) (zero? (get-y v)))) In the Guile REPL try executing the following code: scheme@(guile-user)> (use-modules (oop goops) (vector2)) scheme@(guile-user)> (zero? (make )) This will display=20 WARNING: (guile-user): `zero?' imported from both (ice-9 r5rs) = and (vector2) ERROR: In procedure scm-error: ERROR: No applicable method for #< zero? (1)> in call = (zero? 0) =09 Entering a new prompt. Type `,bt' for a backtrace or `,q' to = continue. scheme@(guile-user) [1]> ,bt In vector2.scm: 11:7 2 (_ #< 105e87e00>) In oop/goops.scm: 1438:4 1 (cache-miss 0) In unknown file: 0 (scm-error goops-error #f "No applicable method for = ~S in call ~S" (#< =E2=80=A6) =E2=80=A6) Apparently the problem is that =E2=80=98zero?=E2=80=99 is defined in two = modules and the vector2 definition overrides it. This isn=E2=80=99t the = case with other primitives like =E2=80=98+=E2=80=99 or =E2=80=98*=E2=80=99= , so this seems like a bug? I had built Guile from HEAD a few days ago, = my package manager shows 6fff84d as the version number, so I guess that = must be the hash of the commit HEAD was pointing to at that time.=