sorry for the inconvenience
in fact the code compile,the message is only displayed at compile time when
using and uncommenting (parallel vector) used later here:
(parallel-vector-map function-unify-minterms-list-index minterms-vector)
which cause a crash of the code:
scheme@(guile-user)> (logic-test)
test 1
(or (and (not a) (not b) (not c) (not d)) (and (not a) (not b) (not c) d)
(and (not a) (not b) c (not d)) (and (not a) b (not c) d) (and (not a) b c
(not d)) (and (not a) b c d) (and a (not b) (not c) (not d)) (and a (not b)
(not c) d) (and a (not b) c (not d)) (and c (not d))) =
ice-9/boot-9.scm:1685:16: In procedure raise-exception:
In procedure variable-ref: Unbound variable: #<variable 7fdb92501ba0 value:
#<undefined>>
Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user) [1]> ,bt
In ice-9/eval.scm:
619:8 13 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>)
#<continuation 7fdb93671ba0>) #<variable 7fdb932f2ff0 v…> …))
626:19 12 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>)
#<continuation 7fdb93671ba0>) #<variable 7fdb932f2ff0 v…> …))
155:9 11 (_ #(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and (not …) …) …)))
619:8 10 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and # …) …)) # …))
626:19 9 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and # …) …)) # …))
619:8 8 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80> (a b c d) (or
(and c (not d)) (and a (not b) # d) …)) #) # …))
626:19 7 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80> (a b c d) (or
(and c (not d)) (and a (not b) # d) …)) #) # …))
In unknown file:
6 (sort ((1 1 1 0) (1 0 1 0) (1 0 0 1) (1 0 0 0) (0 1 1 1) (0 1
1 0) (0 1 0 1) (0 0 1 0) (0 0 0 1) (0 0 0 …)) #)
In ice-9/eval.scm:
159:9 5 (_ #(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1) (1 0
1 0)))
619:8 4 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
304:50 3 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
196:27 2 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
227:9 1 (_ _)
In ice-9/boot-9.scm:
1685:16 0 (raise-exception _ #:continuable? _)
i will investigate further parallel-vector-map on simpler example,
again sorry for the incovenience.
Damien
On Thu, Jan 5, 2023 at 4:16 PM Damien Mattei <damien.mat...@gmail.com>
wrote:
> Hi,
>
> i have an error i never seen, without a line in code , the code worked on
> Mac OS and on Linux , i did a fresh install of Linux and Guile and now i
> have this error that seems unrelated with my code ( that did not changed) :
>
> In procedure lock-mutex: mutex already locked by thread
>
> any idea?
>
> GNU Guile 3.0.8.99-f3ea8
> Copyright (C) 1995-2022 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)> (load "start-λογικι-guile+.scm")
> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
> ;;; or pass the --no-auto-compile argument to disable.
> ;;; compiling
> /home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm
> ;;; WARNING: compilation of
> /home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm failed:
> ;;; In procedure lock-mutex: mutex already locked by thread
>
> Damien
>
