* bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
@ 2015-03-12 3:17 David Pirotte
2016-06-23 16:00 ` Andy Wingo
2016-07-03 20:55 ` bug#20093: Fw: " David Pirotte
0 siblings, 2 replies; 9+ messages in thread
From: David Pirotte @ 2015-03-12 3:17 UTC (permalink / raw)
To: 20093
[-- Attachment #1: Type: text/plain, Size: 4191 bytes --]
Hello guilers,
Hi Andy,
Following our brief chat on irc, yesterday, here is he bug I was referring to:
GNU Guile 2.1.0.322-eb3d6
setting merge-generics duplicate-binding-handler @ expand time raises an
error.
a) here is a short test case:
--8<---------------cut here---------------start------------->8---
#! /bin/sh
# -*- mode: scheme; coding: utf-8 -*-
exec guile -e main -s $0 "$@"
!#
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
(define (main args)
(display "hello\n"))
--8<---------------cut here---------------start------------->8---
=>
david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 76 $ ./hello
;;; note: source file /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
;;; newer than compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.6/usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/hello.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;; or pass the --no-auto-compile argument to disable.
;;; compiling /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
;;; WARNING: compilation of /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello failed:
;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call Error while printing exception.
hello!
b) here is how it propagates, 'just' trying to import 2 gnome modules:
--8<---------------cut here---------------start------------->8---
#! /bin/sh
# -*- mode: scheme; coding: utf-8 -*-
exec guile -e main -s $0 "$@"
!#
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
(use-modules (gnome-2)
(gnome gobject)
(gnome glib))
(define (main args)
(display "hello!\n"))
--8<---------------cut here---------------start------------->8---
=>
david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 40 $ ./hello
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;; or pass the --no-auto-compile argument to disable.
;;; compiling /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
;;; WARNING: compilation of /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello failed:
;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call Error while printing exception.
Backtrace:
In ice-9/boot-9.scm:
3275: 19 [try-module-autoload _ _]
2611: 18 [save-module-excursion #<program b6fe10 7f8a1b537984>]
3295: 17 [#<program b6fe10 7f8a1b537984>]
In unknown file:
?: 16 [primitive-load-path "gnome/gw/glib" #<program cb7120 7f8a1b537acc>]
In gnome/gw/glib.scm:
15: 15 [#<unspecified>]
In unknown file:
?: 14 [load-extension "libgw-guile-gnome-glib" "gw_init_wrapset_gnome_glib"]
In ice-9/boot-9.scm:
2999: 13 [#<variable ac1fd0 value: #<program 7f8a1b57ae68 7f8a1b539380>> # _ _ ...]
3275: 12 [try-module-autoload _ _]
2611: 11 [save-module-excursion #<program b6fc90 7f8a1b537984>]
3295: 10 [#<program b6fc90 7f8a1b537984>]
In unknown file:
?: 9 [primitive-load-path "gnome/gw/generics" #<program d01a60 7f8a1b537acc>]
In gnome/gw/generics.scm:
35: 8 [#f]
In ice-9/boot-9.scm:
3136: 7 [define-module* _ #:filename _ #:pure _ #:version _ #:duplicates ...]
3074: 6 [resolve-interface (gnome gobject generics) #:select ...]
2999: 5 [#<variable ac1fd0 value: #<program 7f8a1b57ae68 7f8a1b539380>> # _ _ ...]
3275: 4 [try-module-autoload _ _]
2611: 3 [save-module-excursion #<program b6fc30 7f8a1b537984>]
3295: 2 [#<program b6fc30 7f8a1b537984>]
In unknown file:
?: 1 [primitive-load-path "gnome/gobject/generics" ...]
In gnome/gobject/generics.scm:
130: 0 [()]
gnome/gobject/generics.scm:130:0: In procedure ():
gnome/gobject/generics.scm:130:0: In procedure module-lookup: Unbound variable: <gobject>
david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 41 $
Cheers,
David
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2015-03-12 3:17 bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error David Pirotte
@ 2016-06-23 16:00 ` Andy Wingo
2016-07-03 4:57 ` David Pirotte
2016-07-03 22:10 ` David Pirotte
2016-07-03 20:55 ` bug#20093: Fw: " David Pirotte
1 sibling, 2 replies; 9+ messages in thread
From: Andy Wingo @ 2016-06-23 16:00 UTC (permalink / raw)
To: David Pirotte; +Cc: 20093-done
Hi,
This was interesting -- turned out that GOOPS imports `map' from (srfi
srfi-1), and it's also there from (guile-user). SRFI-1 specified it via
#:replace so all is well, no warnings. However merge-generics is itself
a generic which needs `map' to dispatch over its types (at first) and
then that recurses, leading to badness.
But, you say, I only specified the duplicates handler after loading
goops! Well indeed, but if a module didn't specify #:duplicates, its
duplicates handling was implicitly dynamically scoped to whatever the
current default-duplicates-handlers were. That seems bogus to me: the
module declares its imports and exports and a lack of a declaration of
#:duplicates indicates that the module is implicitly specifying the
duplicate handlers that are described in the manual.
In master I have changed the `default-duplicate-binding-handler' to
simply access the handlers for the current module, as that seems to be
the correct thing. Let me know how it goes! Closing as done but let's
follow up :)
Andy
On Thu 12 Mar 2015 04:17, David Pirotte <david@altosw.be> writes:
> Hello guilers,
> Hi Andy,
>
> Following our brief chat on irc, yesterday, here is he bug I was referring to:
>
> GNU Guile 2.1.0.322-eb3d6
>
> setting merge-generics duplicate-binding-handler @ expand time raises an
> error.
>
> a) here is a short test case:
>
> #! /bin/sh
> # -*- mode: scheme; coding: utf-8 -*-
> exec guile -e main -s $0 "$@"
> !#
>
> (eval-when (expand load eval)
> (use-modules (oop goops))
> (default-duplicate-binding-handler
> '(merge-generics replace warn-override-core warn last)))
>
> (define (main args)
> (display "hello\n"))
>
> =>
>
> david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 76 $ ./hello
> ;;; note: source file /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
> ;;; newer than compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.6/usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/hello.go
> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
> ;;; or pass the --no-auto-compile argument to disable.
> ;;; compiling /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
> ;;; WARNING: compilation of /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello failed:
> ;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call Error while printing exception.
> hello!
>
>
> b) here is how it propagates, 'just' trying to import 2 gnome modules:
>
> #! /bin/sh
> # -*- mode: scheme; coding: utf-8 -*-
> exec guile -e main -s $0 "$@"
> !#
>
> (eval-when (expand load eval)
> (use-modules (oop goops))
> (default-duplicate-binding-handler
> '(merge-generics replace warn-override-core warn last)))
>
> (use-modules (gnome-2)
> (gnome gobject)
> (gnome glib))
>
> (define (main args)
> (display "hello!\n"))
>
> =>
>
> david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 40 $ ./hello
> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
> ;;; or pass the --no-auto-compile argument to disable.
> ;;; compiling /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello
> ;;; WARNING: compilation of /usr/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler/./hello failed:
> ;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call Error while printing exception.
> Backtrace:
> In ice-9/boot-9.scm:
> 3275: 19 [try-module-autoload _ _]
> 2611: 18 [save-module-excursion #<program b6fe10 7f8a1b537984>]
> 3295: 17 [#<program b6fe10 7f8a1b537984>]
> In unknown file:
> ?: 16 [primitive-load-path "gnome/gw/glib" #<program cb7120 7f8a1b537acc>]
> In gnome/gw/glib.scm:
> 15: 15 [#<unspecified>]
> In unknown file:
> ?: 14 [load-extension "libgw-guile-gnome-glib" "gw_init_wrapset_gnome_glib"]
> In ice-9/boot-9.scm:
> 2999: 13 [#<variable ac1fd0 value: #<program 7f8a1b57ae68 7f8a1b539380>> # _ _ ...]
> 3275: 12 [try-module-autoload _ _]
> 2611: 11 [save-module-excursion #<program b6fc90 7f8a1b537984>]
> 3295: 10 [#<program b6fc90 7f8a1b537984>]
> In unknown file:
> ?: 9 [primitive-load-path "gnome/gw/generics" #<program d01a60 7f8a1b537acc>]
> In gnome/gw/generics.scm:
> 35: 8 [#f]
> In ice-9/boot-9.scm:
> 3136: 7 [define-module* _ #:filename _ #:pure _ #:version _ #:duplicates ...]
> 3074: 6 [resolve-interface (gnome gobject generics) #:select ...]
> 2999: 5 [#<variable ac1fd0 value: #<program 7f8a1b57ae68 7f8a1b539380>> # _ _ ...]
> 3275: 4 [try-module-autoload _ _]
> 2611: 3 [save-module-excursion #<program b6fc30 7f8a1b537984>]
> 3295: 2 [#<program b6fc30 7f8a1b537984>]
> In unknown file:
> ?: 1 [primitive-load-path "gnome/gobject/generics" ...]
> In gnome/gobject/generics.scm:
> 130: 0 [()]
>
> gnome/gobject/generics.scm:130:0: In procedure ():
> gnome/gobject/generics.scm:130:0: In procedure module-lookup: Unbound variable: <gobject>
> david@capac:~/alto/projects/guile-tests/2.2/goops/duplicate-binding-handler 41 $
>
>
> Cheers,
> David
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-06-23 16:00 ` Andy Wingo
@ 2016-07-03 4:57 ` David Pirotte
2016-07-03 22:10 ` David Pirotte
1 sibling, 0 replies; 9+ messages in thread
From: David Pirotte @ 2016-07-03 4:57 UTC (permalink / raw)
To: Andy Wingo; +Cc: 20093-done
[-- Attachment #1: Type: text/plain, Size: 9417 bytes --]
Hi Andy,
> This was interesting -- turned out that GOOPS imports `map' from (srfi
> srfi-1), and it's also there from (guile-user). SRFI-1 specified it via
> #:replace so all is well, no warnings. However merge-generics is itself
> a generic which needs `map' to dispatch over its types (at first) and
> then that recurses, leading to badness.
Thanks, it fixed the bug wrt the example of the original message, but it seems it
introduced a new bug, see below.
> But, you say, I only specified the duplicates handler after loading
> goops! Well indeed, but if a module didn't specify #:duplicates, its
> duplicates handling was implicitly dynamically scoped to whatever the
> current default-duplicates-handlers were. That seems bogus to me: the
> module declares its imports and exports and a lack of a declaration of
> #:duplicates indicates that the module is implicitly specifying the
> duplicate handlers that are described in the manual.
> In master I have changed the `default-duplicate-binding-handler' to
> simply access the handlers for the current module, as that seems to be
> the correct thing. Let me know how it goes! Closing as done but let's
> follow up :)
This is a big problem for me, so I partially locally reverted that part of
the patch, plus, I patch guild so it does this before anything else:
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
This worked well with guile-2.0 [guild patched the same way I mean], but raises a
bug using guild from 2.2, that I can reproduce even not reverting anything from your
fix:
if you patch guild the same way, just to try, then try to compile any file that
does even not use goops, it raises the same error
As an example, let's create a reexport.scm [based on guile-gnome
glib/gnome/gw/support/modules.scm]
;; reexport.scm starts here
(define-module (reexport)
#:export (re-export-public-interface))
(define-macro (re-export-public-interface . args)
"Re-export the public interface of a module or modules. Invoked as
@code{(re-export-public-interface (mod1) (mod2)...)}."
(if (null? args)
'(if #f #f)
`(begin
,@(map (lambda (mod)
(or (list? mod)
(error "Invalid module specification" mod))
`(module-use! (module-public-interface (current-module))
(resolve-interface ',mod)))
args))))
;; reexport.scm ends here
Then let's try to compile it using the patched guild as mentioned above:
david@capac:~/gnu/grip/git/grip 5 $ which guild
/opt2/bin/guild
david@capac:~/gnu/grip/git/grip 6 $ guild compile reexport.scm
;;; note: source file /opt2/bin/guild
;;; newer than compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.9/opt2/bin/guild.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;; or pass the --no-auto-compile argument to disable.
;;; compiling /opt2/bin/guild
;;; WARNING: compilation of /opt2/bin/guild failed:
;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call (merge-generics #<directory (guild) 266d750> format #<interface (guile) 2645ea0> #<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #<autoload (ice-9 format) 28fc000> #<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #f #f)
Backtrace:
In ice-9/eval.scm:
710:20 19 (primitive-eval (define (main args) (if (# (# #)) #) #))
In ice-9/psyntax.scm:
1199:22 18 (expand-top-sequence ((define (main args) (if (…) …) …)) …)
In ice-9/boot-9.scm:
224:17 17 (map1 (#<procedure 2926550 at ice-9/psyntax.scm:1116:3…>))
In ice-9/psyntax.scm:
1374:12 16 (_)
1754:11 15 (lp (#(syntax-object (if (defined? (quote #)) #) # …) …) …)
1644:45 14 (parse _ _ _ _ _ _ _)
In ice-9/boot-9.scm:
224:17 13 (map1 (((("placeholder" placeholder) ("…" . #) …) . #) …))
In ice-9/psyntax.scm:
1374:12 12 (_ _ _)
1449:23 11 (_ _ _)
In ice-9/boot-9.scm:
224:29 10 (map1 ((quote system-error) (lambda () (setlocale …)) #))
224:29 9 (map1 ((lambda () (setlocale LC_ALL "")) (lambda # #)))
224:17 8 (map1 ((lambda args (format (current-error-port) # #))))
In ice-9/psyntax.scm:
1754:11 7 (lp ((format (current-error-port) "warning: failed…" …)) …)
1577:33 6 (parse (((("placeholder" placeholder) ("…" . #) …) . #)) …)
1298:27 5 (syntax-type (format (current-error-port) "warning:…" …) …)
1282:39 4 (syntax-type format (("placeholder" placeholder) # # …) …)
302:24 3 (resolve-identifier _ _ (("placeholder" placeholder) …) …)
In unknown file:
2 (module-variable #<directory (guild) 266d750> format)
In oop/goops.scm:
1437:4 1 (cache-miss #<directory (guild) 266d750> format #<inte…> …)
In unknown file:
0 (scm-error goops-error #f "No applicable method for ~S…" …)
ERROR: In procedure scm-error:
ERROR: No applicable method for #<<generic> merge-generics (3)> in call (merge-generics #<directory (guild) 266d750> format #<interface (guile) 2645ea0> #<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #<interface (ice-9 format) 26f5b40> #<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #f #f)
david@capac:~/gnu/grip/git/grip 7 $
NOW, let's ask guild to use --no-auto-compile
#!/bin/sh
# -*- scheme -*-
exec ${GUILE:-/opt2/bin/guile} --no-auto-compile -e '(@@ (guild) main)' -s "$0" "$@"
!#
... ...
And try again:
david@capac:~/gnu/grip/git/grip 8 $ guild compile reexport.scm
;;; note: source file /opt2/bin/guild
;;; newer than compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.9/opt2/bin/guild.go
Backtrace:
In ice-9/eval.scm:
710:20 19 (primitive-eval (define (main args) (if (# (# #)) #) #))
In ice-9/psyntax.scm:
1199:22 18 (expand-top-sequence ((define (main args) (if (…) …) …)) …)
In ice-9/boot-9.scm:
224:17 17 (map1 (#<procedure 1ac7640 at ice-9/psyntax.scm:1116:3…>))
In ice-9/psyntax.scm:
1374:12 16 (_)
1754:11 15 (lp (#(syntax-object (if (defined? (quote #)) #) # …) …) …)
1644:45 14 (parse _ _ _ _ _ _ _)
In ice-9/boot-9.scm:
224:17 13 (map1 (((("placeholder" placeholder) ("…" . #) …) . #) …))
In ice-9/psyntax.scm:
1374:12 12 (_ _ _)
1449:23 11 (_ _ _)
In ice-9/boot-9.scm:
224:29 10 (map1 ((quote system-error) (lambda () (setlocale …)) #))
224:29 9 (map1 ((lambda () (setlocale LC_ALL "")) (lambda # #)))
224:17 8 (map1 ((lambda args (format (current-error-port) # #))))
In ice-9/psyntax.scm:
1754:11 7 (lp ((format (current-error-port) "warning: failed…" …)) …)
1577:33 6 (parse (((("placeholder" placeholder) ("…" . #) …) . #)) …)
1298:27 5 (syntax-type (format (current-error-port) "warning:…" …) …)
1282:39 4 (syntax-type format (("placeholder" placeholder) # # …) …)
302:24 3 (resolve-identifier _ _ (("placeholder" placeholder) …) …)
In unknown file:
2 (module-variable #<directory (guild) 1b76750> format)
In oop/goops.scm:
1437:4 1 (cache-miss #<directory (guild) 1b76750> format #<inte…> …)
In unknown file:
0 (scm-error goops-error #f "No applicable method for ~S…" …)
ERROR: In procedure scm-error:
ERROR: No applicable method for #<<generic> merge-generics (3)> in call (merge-generics #<directory (guild) 1b76750> format #<interface (guile) 1b4eea0> #<procedure 1c81cc0 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #<autoload (ice-9 format) 1c60630> #<procedure 1c81cc0 at ice-9/format.scm:1609:9 (destination format-string . args) | (deprecated-format-string-only)> #f #f)
david@capac:~/gnu/grip/git/grip 9 $
BUT THIS Works:fine, in case it gives you come idea [it raises a warning though, is
this warning expected?]
david@capac:~/alto/projects/guile-tests/goops 3 $ guile
GNU Guile 2.1.3.52-8a087
Copyright (C) 1995-2016 Free Software Foundation, Inc.
Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.
Enter `,help' for help.
scheme@(guile-user)> ,use (oop goops)
scheme@(guile-user)> (default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last))
;;; warning: unknown warning type `macro-use-before-definition'
$1 = (#<<generic> merge-generics (3)> #<procedure replace (module name int1 val1 int2 val2 var val)> #<procedure warn-override-core (module name int1 val1 int2 val2 var val)> #<procedure warn (module name int1 val1 int2 val2 var val)> #<procedure last (module name int1 val1 int2 val2 var val)>)
scheme@(guile-user)> ,use (system base compile)
scheme@(guile-user)> (compile-file "/home/david/gnu/grip/git/grip/reexport.scm")
;;; warning: unknown warning type `macro-use-before-definition'
$2 = "/home/david/.cache/guile/ccache/2.2-LE-8-3.9/usr/alto/projects/gnu/grip/git/grip/reexport.scm.go"
scheme@(guile-user)>
Sorry for the long email!
I hope you can help!
Cheers,
David
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: Fw: bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2015-03-12 3:17 bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error David Pirotte
2016-06-23 16:00 ` Andy Wingo
@ 2016-07-03 20:55 ` David Pirotte
2016-07-07 10:22 ` Andy Wingo
1 sibling, 1 reply; 9+ messages in thread
From: David Pirotte @ 2016-07-03 20:55 UTC (permalink / raw)
To: 20093
[-- Attachment #1: Type: text/plain, Size: 9621 bytes --]
Hi Andy,
It is only after I answered that I did spot in the close associated with
this bug report that we should 'get further detail' answering the bug id and
not bug-id-done, hence this 'forward'
> This was interesting -- turned out that GOOPS imports `map' from (srfi
> srfi-1), and it's also there from (guile-user). SRFI-1 specified it via
> #:replace so all is well, no warnings. However merge-generics is itself
> a generic which needs `map' to dispatch over its types (at first) and
> then that recurses, leading to badness.
Thanks, it fixed the bug wrt the example of the original message, but it seems it
introduced a new bug, see below.
> But, you say, I only specified the duplicates handler after loading
> goops! Well indeed, but if a module didn't specify #:duplicates, its
> duplicates handling was implicitly dynamically scoped to whatever the
> current default-duplicates-handlers were. That seems bogus to me: the
> module declares its imports and exports and a lack of a declaration of
> #:duplicates indicates that the module is implicitly specifying the
> duplicate handlers that are described in the manual.
> In master I have changed the `default-duplicate-binding-handler' to
> simply access the handlers for the current module, as that seems to be
> the correct thing. Let me know how it goes! Closing as done but let's
> follow up :)
This is a big problem for me, so I partially locally reverted that part of
the patch, plus, I patch guild so it does this before anything else:
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
This worked well with guile-2.0 [guild patched the same way I mean], but raises a
bug using guild from 2.2, that I can reproduce even not reverting anything from your
fix:
if you patch guild the same way, just to try, then try to compile any file
that does even not use goops, it raises the same error
As an example, let's create a reexport.scm [based on guile-gnome
glib/gnome/gw/support/modules.scm]
;; reexport.scm starts here
(define-module (reexport)
#:export (re-export-public-interface))
(define-macro (re-export-public-interface . args)
"Re-export the public interface of a module or modules. Invoked as
@code{(re-export-public-interface (mod1) (mod2)...)}."
(if (null? args)
'(if #f #f)
`(begin
,@(map (lambda (mod)
(or (list? mod)
(error "Invalid module specification" mod))
`(module-use! (module-public-interface (current-module))
(resolve-interface ',mod)))
args))))
;; reexport.scm ends here
Then let's try to compile it using the patched guild as mentioned above:
david@capac:~/gnu/grip/git/grip 5 $ which guild
/opt2/bin/guild
david@capac:~/gnu/grip/git/grip 6 $ guild compile reexport.scm
;;; note: source file /opt2/bin/guild
;;; newer than
compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.9/opt2/bin/guild.go ;;; note:
auto-compilation is enabled, set GUILE_AUTO_COMPILE=0 ;;; or pass the
--no-auto-compile argument to disable. ;;; compiling /opt2/bin/guild
;;; WARNING: compilation of /opt2/bin/guild failed:
;;; ERROR: No applicable method for #<<generic> merge-generics (3)> in call
(merge-generics #<directory (guild) 266d750> format #<interface (guile) 2645ea0>
#<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #<autoload (ice-9 format) 28fc000> #<procedure
26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #f #f) Backtrace: In ice-9/eval.scm: 710:20 19
(primitive-eval (define (main args) (if (# (# #)) #) #)) In ice-9/psyntax.scm:
1199:22 18 (expand-top-sequence ((define (main args) (if (…) …) …)) …) In
ice-9/boot-9.scm: 224:17 17 (map1 (#<procedure 2926550 at
ice-9/psyntax.scm:1116:3…>)) In ice-9/psyntax.scm: 1374:12 16 (_)
1754:11 15 (lp (#(syntax-object (if (defined? (quote #)) #) # …) …) …)
1644:45 14 (parse _ _ _ _ _ _ _)
In ice-9/boot-9.scm:
224:17 13 (map1 (((("placeholder" placeholder) ("…" . #) …) . #) …))
In ice-9/psyntax.scm:
1374:12 12 (_ _ _)
1449:23 11 (_ _ _)
In ice-9/boot-9.scm:
224:29 10 (map1 ((quote system-error) (lambda () (setlocale …)) #))
224:29 9 (map1 ((lambda () (setlocale LC_ALL "")) (lambda # #)))
224:17 8 (map1 ((lambda args (format (current-error-port) # #))))
In ice-9/psyntax.scm:
1754:11 7 (lp ((format (current-error-port) "warning: failed…" …)) …)
1577:33 6 (parse (((("placeholder" placeholder) ("…" . #) …) . #)) …)
1298:27 5 (syntax-type (format (current-error-port) "warning:…" …) …)
1282:39 4 (syntax-type format (("placeholder" placeholder) # # …) …)
302:24 3 (resolve-identifier _ _ (("placeholder" placeholder) …) …)
In unknown file:
2 (module-variable #<directory (guild) 266d750> format)
In oop/goops.scm:
1437:4 1 (cache-miss #<directory (guild) 266d750> format #<inte…> …)
In unknown file:
0 (scm-error goops-error #f "No applicable method for ~S…" …)
ERROR: In procedure scm-error:
ERROR: No applicable method for #<<generic> merge-generics (3)> in call
(merge-generics #<directory (guild) 266d750> format #<interface (guile) 2645ea0>
#<procedure 26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #<interface (ice-9 format) 26f5b40> #<procedure
26f8920 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #f #f) david@capac:~/gnu/grip/git/grip 7 $
NOW, let's ask guild to use --no-auto-compile
#!/bin/sh
# -*- scheme -*-
exec ${GUILE:-/opt2/bin/guile} --no-auto-compile -e '(@@ (guild) main)' -s "$0" "$@"
!#
... ...
And try again:
david@capac:~/gnu/grip/git/grip 8 $ guild compile reexport.scm
;;; note: source file /opt2/bin/guild
;;; newer than
compiled /home/david/.cache/guile/ccache/2.2-LE-8-3.9/opt2/bin/guild.go Backtrace:
In ice-9/eval.scm:
710:20 19 (primitive-eval (define (main args) (if (# (# #)) #) #))
In ice-9/psyntax.scm:
1199:22 18 (expand-top-sequence ((define (main args) (if (…) …) …)) …)
In ice-9/boot-9.scm:
224:17 17 (map1 (#<procedure 1ac7640 at ice-9/psyntax.scm:1116:3…>))
In ice-9/psyntax.scm:
1374:12 16 (_)
1754:11 15 (lp (#(syntax-object (if (defined? (quote #)) #) # …) …) …)
1644:45 14 (parse _ _ _ _ _ _ _)
In ice-9/boot-9.scm:
224:17 13 (map1 (((("placeholder" placeholder) ("…" . #) …) . #) …))
In ice-9/psyntax.scm:
1374:12 12 (_ _ _)
1449:23 11 (_ _ _)
In ice-9/boot-9.scm:
224:29 10 (map1 ((quote system-error) (lambda () (setlocale …)) #))
224:29 9 (map1 ((lambda () (setlocale LC_ALL "")) (lambda # #)))
224:17 8 (map1 ((lambda args (format (current-error-port) # #))))
In ice-9/psyntax.scm:
1754:11 7 (lp ((format (current-error-port) "warning: failed…" …)) …)
1577:33 6 (parse (((("placeholder" placeholder) ("…" . #) …) . #)) …)
1298:27 5 (syntax-type (format (current-error-port) "warning:…" …) …)
1282:39 4 (syntax-type format (("placeholder" placeholder) # # …) …)
302:24 3 (resolve-identifier _ _ (("placeholder" placeholder) …) …)
In unknown file:
2 (module-variable #<directory (guild) 1b76750> format)
In oop/goops.scm:
1437:4 1 (cache-miss #<directory (guild) 1b76750> format #<inte…> …)
In unknown file:
0 (scm-error goops-error #f "No applicable method for ~S…" …)
ERROR: In procedure scm-error:
ERROR: No applicable method for #<<generic> merge-generics (3)> in call
(merge-generics #<directory (guild) 1b76750> format #<interface (guile) 1b4eea0>
#<procedure 1c81cc0 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #<autoload (ice-9 format) 1c60630> #<procedure
1c81cc0 at ice-9/format.scm:1609:9 (destination format-string . args) |
(deprecated-format-string-only)> #f #f) david@capac:~/gnu/grip/git/grip 9 $
BUT THIS Works:fine, in case it gives you come idea [it raises a warning though, is
this warning expected?]
david@capac:~/alto/projects/guile-tests/goops 3 $ guile
GNU Guile 2.1.3.52-8a087
Copyright (C) 1995-2016 Free Software Foundation, Inc.
Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.
Enter `,help' for help.
scheme@(guile-user)> ,use (oop goops)
scheme@(guile-user)> (default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last))
;;; warning: unknown warning type `macro-use-before-definition'
$1 = (#<<generic> merge-generics (3)> #<procedure replace (module name int1 val1
int2 val2 var val)> #<procedure warn-override-core (module name int1 val1 int2 val2
var val)> #<procedure warn (module name int1 val1 int2 val2 var val)> #<procedure
last (module name int1 val1 int2 val2 var val)>)
scheme@(guile-user)> ,use (system base compile)
scheme@(guile-user)> (compile-file "/home/david/gnu/grip/git/grip/reexport.scm")
;;; warning: unknown warning type `macro-use-before-definition'
$2 =
"/home/david/.cache/guile/ccache/2.2-LE-8-3.9/usr/alto/projects/gnu/grip/git/grip/reexport.scm.go"
scheme@(guile-user)>
Sorry for the long email!
I hope you can help!
Cheers,
David
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-06-23 16:00 ` Andy Wingo
2016-07-03 4:57 ` David Pirotte
@ 2016-07-03 22:10 ` David Pirotte
2016-07-07 9:54 ` Andy Wingo
1 sibling, 1 reply; 9+ messages in thread
From: David Pirotte @ 2016-07-03 22:10 UTC (permalink / raw)
To: Andy Wingo; +Cc: 20093
[-- Attachment #1: Type: text/plain, Size: 2442 bytes --]
Hello Andy,
Further to the previous answer [of July the 2th 2016]
> ...
> But, you say, I only specified the duplicates handler after loading
> goops! Well indeed, but if a module didn't specify #:duplicates, its
> duplicates handling was implicitly dynamically scoped to whatever the
> current default-duplicates-handlers were. That seems bogus to me: the
> module declares its imports and exports and a lack of a declaration of
> #:duplicates indicates that the module is implicitly specifying the
> duplicate handlers that are described in the manual.
I disagree with the way you [now' re-] interpret things: if a module has no
#:duplicates declaration, it is implicitly specifying the duplicate handlers
returned by (default-duplicate-binding-handler), _not_ the one from the
manual.
IMO, this was an API, and for me, a hard coded list instead of querying an API does
not offer any advantage, at the contrary, a step backward in 'power'.
> In master I have changed the `default-duplicate-binding-handler' to
> simply access the handlers for the current module, as that seems to be
> the correct thing. Let me know how it goes! Closing as done but let's
> follow up :)
This breaks all my code, with no other option but maintaining my own
boot-9 version: I really wish I can avoid that, could you reconsider? [no, I don't
want to have to use #:duplicates, since I _always_ [like always always always] want
my modules to grab my global setting and default].
As you understood by now, I need 2 things wrt duplicate handlers:
1. I must be able to patch guild, so it ,use (oop goops) and set
these before I compile my modules [with or without --no-auto-compile
does not matter]. All my scripts do so as well of course [1]
#!/bin/sh
# -*- scheme -*-
exec ${GUILE:-/opt2/bin/guile} --no-auto-compile -e '(@@ (guild) main)' -s "$0" "$@"
!#
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
...
This does not work anymore, I hope it can be fixed
2. obviously, the above only make sense if modules grab
(default-duplicate-binding-handler) when no #:duplicates declaration
I can maintain my own boot-9 but wish to avoid this solution.
Cheers,
David
[1] http://git.savannah.gnu.org/cgit/grip.git/tree/grip/clutter/examples/bouncer.in
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-07-03 22:10 ` David Pirotte
@ 2016-07-07 9:54 ` Andy Wingo
0 siblings, 0 replies; 9+ messages in thread
From: Andy Wingo @ 2016-07-07 9:54 UTC (permalink / raw)
To: David Pirotte; +Cc: 20093
On Mon 04 Jul 2016 00:10, David Pirotte <david@altosw.be> writes:
>> But, you say, I only specified the duplicates handler after loading
>> goops! Well indeed, but if a module didn't specify #:duplicates, its
>> duplicates handling was implicitly dynamically scoped to whatever the
>> current default-duplicates-handlers were. That seems bogus to me: the
>> module declares its imports and exports and a lack of a declaration of
>> #:duplicates indicates that the module is implicitly specifying the
>> duplicate handlers that are described in the manual.
>
> I disagree with the way you [now' re-] interpret things: if a module has no
> #:duplicates declaration, it is implicitly specifying the duplicate handlers
> returned by (default-duplicate-binding-handler), _not_ the one from the
> manual.
To clarify. I believe that the default should be what is in the manual,
and have fixed Guile 2.2 in that regard. You think it should be the
value of the dynamic parameter. There are two points at which the
parameter could be captured: when the module is defined, or lazily, when
the first duplicate binding pair is detected. The latter leads to bugs
of many kinds, like this bug. So, I assume you are proposing to capture
the value of the dynamic parameter when the module is defined. This has
two bugs however.
* Modules are defined two times in general: once when compiling and
once when loading. It is too difficult to get the parameter to work
when compiling; you have to do invoke
(default-duplicate-binding-handler) at the top of each file you
compile, at which point you might as well just specify #:duplicates.
* Global dynamic parameters that affect the substance of a module and
the shape of its exports are not modular and cannot be set in a
modular way. If your module depends on a particular duplicates
handler, you need to specify that explicitly -- otherwise a user of
your module might want something different in general, and then your
code would break.
>> In master I have changed the `default-duplicate-binding-handler' to
>> simply access the handlers for the current module, as that seems to be
>> the correct thing. Let me know how it goes! Closing as done but let's
>> follow up :)
>
> This breaks all my code, with no other option but maintaining my own
> boot-9 version: I really wish I can avoid that, could you reconsider? [no, I don't
> want to have to use #:duplicates, since I _always_ [like always always always] want
> my modules to grab my global setting and default].
I feel your pain but I think that the proper solution is to just go
through your modules and add the #:duplicates argument. It is forward
and backward compatible.
I also feel the need to say that while you are welcome to fork Guile in
any way that you like, I will not look at any bugs from a forked Guile.
Regards,
Andy
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: Fw: bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-07-03 20:55 ` bug#20093: Fw: " David Pirotte
@ 2016-07-07 10:22 ` Andy Wingo
2016-07-25 2:38 ` David Pirotte
0 siblings, 1 reply; 9+ messages in thread
From: Andy Wingo @ 2016-07-07 10:22 UTC (permalink / raw)
To: David Pirotte; +Cc: 20093
On Sun 03 Jul 2016 22:55, David Pirotte <david@altosw.be> writes:
> This is a big problem for me, so I partially locally reverted that part of
> the patch, plus, I patch guild so it does this before anything else:
>
> (eval-when (expand load eval)
> (use-modules (oop goops))
> (default-duplicate-binding-handler
> '(merge-generics replace warn-override-core warn last)))
Hi,
It takes work for me to understand and fix reports and I regret to say
that patching "guild" is too much for me -- I don't have the time to
work on bugs in patched Guile versions where the patches are significant
(like this patch) and yet not headed towards mainline (also like this
patch).
Regards,
Andy
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: Fw: bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-07-07 10:22 ` Andy Wingo
@ 2016-07-25 2:38 ` David Pirotte
2016-07-25 2:44 ` David Pirotte
0 siblings, 1 reply; 9+ messages in thread
From: David Pirotte @ 2016-07-25 2:38 UTC (permalink / raw)
To: Andy Wingo; +Cc: 20093
[-- Attachment #1: Type: text/plain, Size: 4290 bytes --]
Hi Andy,
> > This is a big problem for me, so I partially locally reverted that part of
> > the patch, plus, I patch guild so it does this before anything else:
> > (eval-when (expand load eval)
> > (use-modules (oop goops))
> > (default-duplicate-binding-handler
> > '(merge-generics replace warn-override-core warn last)))
> It takes work for me to understand and fix reports and I regret to say
> that patching "guild" is too much for me -- I don't have the time to
> work on bugs in patched Guile versions where the patches are significant
> (like this patch) and yet not headed towards mainline (also like this
> patch).
Let's not get lost in 2 diff things here:
1-
As a consequence of you looking at this bug report, you decided to change the
module system:
> In master I have changed the `default-duplicate-binding-handler' to
> simply access the handlers for the current module, as that seems to be
> the correct thing. Let me know how it goes! Closing as done but let's
> follow up :)
I did think very carefully to this and our conversation, and I still think it as a
big mistake: if a module does not declare #:duplicates, the 'old' way is the right
way, calling (default-duplicate-binding-handler).
Yes, it would then be a user error not to properly globally set this at 'all
incantations', compile, load ... if they rely on a diff set then the defaul:
the fact that users may miss use it does not justify it's been taken away:
they are quite a lot of ways a user can write bugs, as you know, so let's
get rid of set! then :)
IMO, this is an API, the right one, so it should not be changed.
Note that users of 'these modules' (the ones where you'd locally declare
#:duplicates) still have to set this in their repl and in their scripts, not doing
so would also be an user error and this 'new' model does not prevent these errors.
I have successfully used it for years now: it saves me to have to do it at module
level, and since I correctly set it globally: forcing me (and other users of this
API) sounds a bit of a brute forcing a certain programing style: since I know what
I'm doing, I don't see local declarations being 'better', but just another way to do
it. As a mater of fact, I see the global setting better and safer, because I'll never
forget...
Please think about this, thanks!
2-
Now, a separate thing is I can't set this in guild anymore. Ok, I read you, but guild
is a script, and IMO, there is no reason I can do it in a script of mine and not in
guild, this works fine:
;; compile-me script starts here
#! /bin/sh
# -*- mode: scheme; coding: utf-8 -*-
exec guile --no-auto-compile -e main -s $0 "$@"
!#
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
(use-modules (system base compile)
(ice-9 match))
(define (main args)
(pk (default-duplicate-binding-handler))
(add-to-load-path (getcwd))
(match args
((cmd file)
(compile-file file)
(display (string-append "I compiled you: "
file
"\n")))))
;; compile-me script ends here
[ drop this somewhere, chmod a+x
;; foo.scm starts here
(define-module (a)
#:use-module (oop goops)
#:export (<a>
!width))
(define-class <a> ()
(width #:accessor !width
#:init-keyword #:width
#:init-value 0))
;; foo.scm ends here
[ drop this aside compile-me
./compile-me foo.scm
2.1.3.59-516f7
(merge-generics replace warn-override-core warn last)
I compiled you: foo.scm
A modified version of the guild script to (eval-when ...), then 'guild compile
foo.scm fails as reported in earlier. Note that it does not matter whether the
module uses goops, import more then one and effectively merge generics, it simply
fails, as reported in the first email of this thread.
So if you keep this API we are talking about here, and I really think we should, I
can write and use my own script to compile my modules. I'd be curious to understand
why guild, modified as described above, did work in 2.0.11, 2.0.12, 2.1.2, but fails
with 2.1.3, but I also understand if you are not interested.
Cheers,
David
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#20093: Fw: bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error
2016-07-25 2:38 ` David Pirotte
@ 2016-07-25 2:44 ` David Pirotte
0 siblings, 0 replies; 9+ messages in thread
From: David Pirotte @ 2016-07-25 2:44 UTC (permalink / raw)
To: Andy Wingo; +Cc: 20093
[-- Attachment #1: Type: text/plain, Size: 931 bytes --]
Hi again :)
> ...
> this works fine:
I realized just after I sent that the compile-me script was not the latest
version: no big deal, just this displays exactly what I pasted in the previous mail
Here it is:
;; compile-me script starts here
#! /bin/sh
# -*- mode: scheme; coding: utf-8 -*-
exec guile --no-auto-compile -e main -s $0 "$@"
!#
(eval-when (expand load eval)
(use-modules (oop goops))
(default-duplicate-binding-handler
'(merge-generics replace warn-override-core warn last)))
(use-modules (system base compile)
(ice-9 match))
(define (main args)
(display (version))
(newline)
(display (default-duplicate-binding-handler))
(newline)
(add-to-load-path (getcwd))
(match args
((cmd file)
(compile-file file)
(display (string-append "I compiled you: "
file
"\n")))))
;; compile-me script ends here
Cheers,
David
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2016-07-25 2:44 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-03-12 3:17 bug#20093: master: setting merge-generics duplicate-binding-handler @ expand time raises an error David Pirotte
2016-06-23 16:00 ` Andy Wingo
2016-07-03 4:57 ` David Pirotte
2016-07-03 22:10 ` David Pirotte
2016-07-07 9:54 ` Andy Wingo
2016-07-03 20:55 ` bug#20093: Fw: " David Pirotte
2016-07-07 10:22 ` Andy Wingo
2016-07-25 2:38 ` David Pirotte
2016-07-25 2:44 ` David Pirotte
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).