* bug#49311: (null?) cannot be compiled (error from (language typs types))
@ 2021-07-01 7:59 Maxime Devos
2021-07-01 11:44 ` Dr. Arne Babenhauserheide
0 siblings, 1 reply; 3+ messages in thread
From: Maxime Devos @ 2021-07-01 7:59 UTC (permalink / raw)
To: 49311
[-- Attachment #1: Type: text/plain, Size: 2817 bytes --]
Hi,
While hacking on Guix, I encountered the following backtace:
In system/base/compile.scm:
265:44 19 (_ _ _)
261:33 18 (_ _ #<directory (guix lint) 7fc93585b3c0>)
In language/cps/optimize.scm:
128:12 17 (_ _ _)
87:0 16 (optimize-higher-order-cps _ _)
In language/cps/dce.scm:
430:33 15 (eliminate-dead-code _)
114:18 14 (compute-live-code #<intmap 0-14692>)
In language/cps/intmap.scm:
519:6 13 (visit-branch #(#(#(#<cps (kfun () 0 1608 1)> #<cps (kclause (() () #f () #f) 2)> #<cps (kargs () () (continue 3 (const (guix lint))))> #<cps (kargs (arg) (1) (continue 4 (const #:fi…> …)
…) …) …)
519:6 12 (visit-branch #(#(#<cps (kargs () () (continue 6157 (call 3990)))> #<cps (kargs () () (throw throw/value+data #(wrong-type-arg "cdr" "Wrong type argument in position 1 (expecting pair):…>
…) …) …)
519:6 11 (visit-branch #(#<cps (kargs (package wrapper-name) (4018 4019) (continue 6209 (const "\"bash-minimal\" should be in 'native-inputs' when '~a' is used")))> #<cps (kargs (arg) (4020)
(conti…> …) …)
In language/cps/type-checks.scm:
41:15 10 (elide-type-checks #<intmap 0-14692> 6216 #<intmap 0-14692>)
In language/cps/types.scm:
1903:6 9 (worklist-fold* #<procedure visit-cont (label typev)> _ _)
1955:11 8 (visit-cont 6218 #<intmap 6216+0-2>)
609:0 7 (_ _ _ _ _)
In ice-9/boot-9.scm:
1685:16 6 (raise-exception _ #:continuable? _)
1685:16 5 (raise-exception _ #:continuable? _)
1780:13 4 (_ #<&compound-exception components: (#<&assertion-failure> #<&origin origin: #f> #<&message message: "Wrong number of arguments to ~A"> #<&irritants irritants: (#<procedure 7fc936cfc100
at la…>)
In guix/build/compile.scm:
167:6 3 (_ _ . _)
In ice-9/boot-9.scm:
1747:15 2 (with-exception-handler #<procedure 7fc9338b44b0 at ice-9/boot-9.scm:1831:7 (exn)> _ #:unwind? _ #:unwind-for-type _)
In guix/build/compile.scm:
170:21 1 (_)
In unknown file:
0 (make-stack #t)
guix/build/compile.scm:170:21: Wrong number of arguments to #<procedure 7fc936cfc100 at language/cps/types.scm:609:0 (in succ param val)>
make[2]: *** [Makefile:6920: make-core-go] Fout 1
I've minimised it to
$ guile
GNU Guile 3.0.7
Copyright (C) 1995-2021 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)> (null?)
;;; <stdin>:1:0: warning: possibly wrong number of arguments to `null?'
While compiling expression:
Wrong number of arguments to #<procedure 7f50de023c20 at language/cps/types.scm:609:0 (in succ param val)>
scheme@(guile-user)>
Greetings,
Maxime.
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 260 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#49311: (null?) cannot be compiled (error from (language typs types))
2021-07-01 7:59 bug#49311: (null?) cannot be compiled (error from (language typs types)) Maxime Devos
@ 2021-07-01 11:44 ` Dr. Arne Babenhauserheide
2021-07-01 11:47 ` Maxime Devos
0 siblings, 1 reply; 3+ messages in thread
From: Dr. Arne Babenhauserheide @ 2021-07-01 11:44 UTC (permalink / raw)
To: Maxime Devos; +Cc: 49311
[-- Attachment #1: Type: text/plain, Size: 463 bytes --]
Hi Maxime,
thank you for investigating!
Maxime Devos <maximedevos@telenet.be> writes:
> scheme@(guile-user)> (null?)
> ;;; <stdin>:1:0: warning: possibly wrong number of arguments to `null?'
This is a correct warning: null? requires an argument (the list to check
for emptyness). The path forward from here is to find out why null? does
not receive an argument.
Best wishes,
Arne
--
Unpolitisch sein
heißt politisch sein
ohne es zu merken
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 1125 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#49311: (null?) cannot be compiled (error from (language typs types))
2021-07-01 11:44 ` Dr. Arne Babenhauserheide
@ 2021-07-01 11:47 ` Maxime Devos
0 siblings, 0 replies; 3+ messages in thread
From: Maxime Devos @ 2021-07-01 11:47 UTC (permalink / raw)
To: Dr. Arne Babenhauserheide; +Cc: 49311
[-- Attachment #1: Type: text/plain, Size: 735 bytes --]
Dr. Arne Babenhauserheide schreef op do 01-07-2021 om 13:44 [+0200]:
> Maxime Devos <maximedevos@telenet.be> writes:
> > scheme@(guile-user)> (null?)
> > ;;; <stdin>:1:0: warning: possibly wrong number of arguments to `null?'
>
> This is a correct warning: null? requires an argument (the list to check
> for emptyness). The path forward from here is to find out why null? does
> not receive an argument.
Yes, the warning is correct. I wasn't referring to the warning, but to the compile
error.
scheme@(guile-user)> (null?)
;;; [the warning]
While compiling expression:
Wrong number of arguments to #<procedure 7fad2ea94660 at language/cps/types.scm:609:0 (in succ param val)>
^^^ this error
Greetings,
Maxime.
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 260 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-07-01 11:47 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-07-01 7:59 bug#49311: (null?) cannot be compiled (error from (language typs types)) Maxime Devos
2021-07-01 11:44 ` Dr. Arne Babenhauserheide
2021-07-01 11:47 ` Maxime Devos
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).