GNU bug report logs - #47232
GOOPS cannot use generic as accessor in 3.0.x

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

Received: (at submit) by debbugs.gnu.org; 18 Mar 2021 13:19:11 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Mar 18 09:19:11 2021
Received: from localhost ([127.0.0.1]:45339 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lMsYQ-0007ej-CH
	for submit <at> debbugs.gnu.org; Thu, 18 Mar 2021 09:19:11 -0400
Received: from lists.gnu.org ([209.51.188.17]:52956)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <janneke@HIDDEN>) id 1lMsYN-0007eb-Tq
 for submit <at> debbugs.gnu.org; Thu, 18 Mar 2021 09:19:08 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:40562)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <janneke@HIDDEN>) id 1lMsYN-0004Z5-Mq
 for bug-guile@HIDDEN; Thu, 18 Mar 2021 09:19:07 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:54740)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <janneke@HIDDEN>)
 id 1lMsYN-00054N-EW; Thu, 18 Mar 2021 09:19:07 -0400
Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=38798
 helo=dundal.janneke.lilypond.org)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <janneke@HIDDEN>)
 id 1lMsYM-0002FB-Pv; Thu, 18 Mar 2021 09:19:07 -0400
From: Jan Nieuwenhuizen <janneke@HIDDEN>
To: bug-guile@HIDDEN
Subject: GOOPS cannot use generic as accessor in 3.0.x
Organization: AvatarAcademy.nl
X-Url: http://AvatarAcademy.nl
Date: Thu, 18 Mar 2021 14:19:00 +0100
Message-ID: <87czvw1tx7.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="=-=-="
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://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: <https://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: -3.3 (---)

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hi!

Trying to upgrade 8sync to latest Guile, I found the problem that a
generic function cannot be used as as accessor, and then be
exported/imported.  Or something.  At least, the problem is triggered
when compiling (or using) a module that does that.

See the attached foo.scm, bar.scm and `doit', when running it in the
Guile source tree I get

--8<---------------cut here---------------start------------->8---
$ ./doit=20
++ export GUILE_LOAD_COMPILED_PATH=3D/home/janneke/src/8sync/wip
++ GUILE_LOAD_COMPILED_PATH=3D/home/janneke/src/8sync/wip
++ ./pre-inst-env guild compile -L . -o foo.go foo.scm
wrote `foo.go'
++ ./pre-inst-env guild compile -L . -o bar.go bar.scm
Backtrace:
In ice-9/eval.scm:
   293:34 19 (_ #<module (#{ g79}#) 7ff689b8dd20>)
In ice-9/boot-9.scm:
   3380:4 18 (define-module* _ #:filename _ #:pure _ #:version _ #:imports =
_ #:exports _ #:replacements _ # _ # =E2=80=A6)
  2565:24 17 (call-with-deferred-observers #<procedure 7ff689b948c0 at ice-=
9/boot-9.scm:3381:5 ()>)
  3393:24 16 (_)
   222:17 15 (map1 (((foo))))
  3297:17 14 (resolve-interface (foo) #:select _ #:hide _ #:prefix _ #:rena=
mer _ #:version _)
In ice-9/threads.scm:
    390:8 13 (_ _)
In ice-9/boot-9.scm:
  3223:13 12 (_)
In ice-9/threads.scm:
    390:8 11 (_ _)
In ice-9/boot-9.scm:
  3507:20 10 (_)
   2806:4  9 (save-module-excursion #<procedure 7ff68aeece10 at ice-9/boot-=
9.scm:3508:21 ()>)
  3527:26  8 (_)
In unknown file:
           7 (primitive-load-path "foo" #<procedure 7ff689bb6140 at ice-9/b=
oot-9.scm:3514:37 ()>)
In foo.scm:
     12:0  6 (_)
In oop/goops.scm:
   2852:4  5 (_ _ . _)
   2782:2  4 (_ #<<class> <foo> 7ff688c64f80> _)
In srfi/srfi-1.scm:
    634:9  3 (for-each #<procedure 7ff688c5c0c0 at oop/goops.scm:2579:3 (sl=
ot)> (#<<slot> foo 7ff688c64e80>))
In oop/goops.scm:
  2590:22  2 (_ #<<slot> foo 7ff688c64e80>)
In unknown file:
           1 (setter #<<generic> .foo (1)>)
In ice-9/boot-9.scm:
  1669:16  0 (raise-exception _ #:continuable? _)

ice-9/boot-9.scm:1669:16: In procedure raise-exception:
In procedure setter: Wrong type argument in position 1: #<<generic> .foo (1=
)>
--8<---------------cut here---------------end--------------->8---

I found similar behaviour in guile-3.0.2, guile-2.2.7 is fine.

Greetings,
Janneke


--=-=-=
Content-Type: application/octet-stream
Content-Disposition: attachment; filename=doit
Content-Transfer-Encoding: base64

c2V0IC14CgojIFdlIGNhbm5vdCB1c2UgbWV0YS9idWlsZC1lbnYsIHRoYXQgcmVtb3ZlcyAkUFdE
IGZyb20gR1VJTEVfTE9BRF8qX1BBVEgKZXhwb3J0IEdVSUxFX0xPQURfUEFUSD0kUFdEOiRQV0Qv
bW9kdWxlCmV4cG9ydCBHVUlMRV9MT0FEX0NPTVBJTEVEX1BBVEg9JFBXRDokUFdEL21vZHVsZQpl
eHBvcnQgR1VJTEU9JFBXRC9saWJndWlsZS9ndWlsZQoKIyBBbHNvLCAiZ3VpbGQgY29tcGlsZSIg
bGFja3MgdGhlIC1DIGZsYWcKbWV0YS9ndWlsZCBjb21waWxlIC1MIC4gLW8gZm9vLmdvIGZvby5z
Y20KbWV0YS9ndWlsZCBjb21waWxlIC1MIC4gLW8gYmFyLmdvIGJhci5zY20gCg==
--=-=-=
Content-Type: application/octet-stream
Content-Disposition: attachment; filename=foo.scm
Content-Transfer-Encoding: base64

KGRlZmluZS1tb2R1bGUgKGZvbykKICAjOnVzZS1tb2R1bGUgKG9vcCBnb29wcykKICAjOmV4cG9y
dCAoPGZvbz4pKQoKKGRlZmluZSAoZm9vKQogICN0KQooZGVmaW5lLWdlbmVyaWMgLmZvbykKCihk
ZWZpbmUtY2xhc3MgPGZvbz4gKCkKICAoZm9vICM6YWNjZXNzb3IgLmZvbykpCg==
--=-=-=
Content-Type: application/octet-stream
Content-Disposition: attachment; filename=bar.scm
Content-Transfer-Encoding: base64

KGRlZmluZS1tb2R1bGUgKGJhcikKICAjOnVzZS1tb2R1bGUgKGZvbykpCgooZGlzcGxheSAiaGVs
bG9cbiIpCg==
--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable


--=20
Jan Nieuwenhuizen <janneke@HIDDEN> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com

--=-=-=--