Hello,
I’m trying to follow the Dezyne Tutorial (using Dezyne 2.17.1 , windows).ide hello or verify the LED example using ide verify <path-to-file>, I get the following error trace:
Backtrace:
In ice-9/boot-9.scm:
222:29 19 (map1 _)
222:17 18 (map1 (((dzn code dzn)) ((dzn code)) ((dzn #)) ((# .)) .))
3340:17 17 (resolve-interface (dzn code dzn) #:select _ #:hide _ # .)
In ice-9/threads.scm:
390:8 16 (_ _)
In ice-9/boot-9.scm:
3266:13 15 (_)
In ice-9/threads.scm:
390:8 14 (_ _)
In ice-9/boot-9.scm:
3557:20 13 (_)
2849:4 12 (save-module-excursion _)
3577:26 11 (_)
In unknown file:
10 (primitive-load-path "dzn/code/dzn" #<procedure 21a9e9c.>)
In ice-9/eval.scm:
721:20 9 (primitive-eval (include-from-path "dzn/templates/dzn."))
In ice-9/psyntax.scm:
1229:36 8 (expand-top-sequence (#<syntax:dzn.scm:384:0 (include.>) .)
1089:25 7 (parse _ (("placeholder" placeholder)) ((top) #(# # .)) .)
1121:20 6 (parse _ (("placeholder" placeholder)) (()) _ e (eval) #)
1342:32 5 (syntax-type (#<syntax define-templates-base> #<syn.> .) .)
1562:32 4 (expand-macro #<procedure 1e5a8be0 at ice-9/eval.scm:3.> .)
In ice-9/eval.scm:
293:34 3 (_ #(#(#(#(#(#(#<directory (dzn templ.> .) .) .) .) .) .))
159:9 2 (_ #(#(#<directory (dzn templates) 23cf0780>) "dzn/te."))
159:9 1 (_ #(#(#<directory (dzn templates) 23cf0780>) "dzn/te."))
In unknown file:
0 (filter #<procedure 231e7240 at ice-9/boot-9.scm:803:2.> .)
ERROR: In procedure filter:
In procedure filter: Wrong type argument in position 2: #f
I’ve also tried to revert to Dezyne version 2.15.4 as well as 2.14.0, but both result in the same error trace.
Using Dezyne on Ubuntu (using WSL) works, but this won’t work in combination with the Visual Code Extension, which hinders productivity.
ADMIN: FINAL SOLUTION - use 7-zip to unpack Dezyne package
regtur
February 6, 2023, 11:50am
2
We know that 2.17.1 works on windows too, so there cannot be missing dependencies. There must be something in your environment that is causing this. You state that ide hello produces the same error. Does running ide work for you, and does running dzn work for you?
Thanks for reaching out!dzn and ide works and displays the help of each command. However, passing any command to ide (ide hello, ide verify, ide state, etc.) crashes with the aforementioned trace.
karkob
February 6, 2023, 12:13pm
4
Hi @dennisberg
What are you getting while running same example from the Dezyne root?
Here is a full log.
C:\Users\dennis\Documents\verum-dezyne-2.17.1-x86_64-windows\dezyne-2.17.1>dzn --verbose verify examples/hello.dzn
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/script.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/script.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/config.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/config.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/shell-util.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/shell-util.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/command-line.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/command-line.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/misc.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/misc.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/json.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/json.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/json/builder.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/json/builder.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/json/parser.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/json/parser.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/json/record.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/json/record.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/commands/verify.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/commands/verify.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/goops.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/goops.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/accessor.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/accessor.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/util.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/util.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/equal.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/equal.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/lookup.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/lookup.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/code.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/code.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/display.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/display.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/ast/normalize.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/ast/normalize.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/code/dzn.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/code/dzn.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/code-util.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/code-util.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/indent.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/indent.go
;;; note: source file C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/share/guile/site/3.0/dzn/templates.scm
;;; newer than compiled C:/Users/dennis/Documents/verum-dezyne-2.17.1-x86_64-windows/dezyne-2.17.1//gnu/lib/guile/3.0/site-ccache/dzn/templates.go
Backtrace:
In ice-9/boot-9.scm:
222:29 19 (map1 _)
222:17 18 (map1 (((dzn code dzn)) ((dzn command-line)) ((dzn .)) .))
3340:17 17 (resolve-interface (dzn code dzn) #:select _ #:hide _ # .)
In ice-9/threads.scm:
390:8 16 (_ _)
In ice-9/boot-9.scm:
3266:13 15 (_)
In ice-9/threads.scm:
390:8 14 (_ _)
In ice-9/boot-9.scm:
3557:20 13 (_)
2849:4 12 (save-module-excursion _)
3577:26 11 (_)
In unknown file:
10 (primitive-load-path "dzn/code/dzn" #<procedure 546cb00.>)
In ice-9/eval.scm:
721:20 9 (primitive-eval (include-from-path "dzn/templates/dzn."))
In ice-9/psyntax.scm:
1229:36 8 (expand-top-sequence (#<syntax:dzn.scm:384:0 (include.>) .)
1089:25 7 (parse _ (("placeholder" placeholder)) ((top) #(# # .)) .)
1121:20 6 (parse _ (("placeholder" placeholder)) (()) _ e (eval) #)
1342:32 5 (syntax-type (#<syntax define-templates-base> #<syn.> .) .)
1562:32 4 (expand-macro #<procedure 3b4d6e0 at ice-9/eval.scm:33.> .)
In ice-9/eval.scm:
293:34 3 (_ #(#(#(#(#(#(#<directory (dzn templ.> .) .) .) .) .) .))
159:9 2 (_ #(#(#<directory (dzn templates) 5412c80>) "dzn/tem."))
159:9 1 (_ #(#(#<directory (dzn templates) 5412c80>) "dzn/tem."))
In unknown file:
0 (filter #<procedure 6b858c0 at ice-9/boot-9.scm:803:2 .> .)
ERROR: In procedure filter:
In procedure filter: Wrong type argument in position 2: #f
Edit:C:\dezyne-2.17.1, this gives the same result.
I’m running Windows 10 (version 21H2)
karkob
February 6, 2023, 12:27pm
6
can you try “./dzn” instead of “dzn”? Also please check README
That results in the same output.here ?
karkob
February 6, 2023, 12:38pm
8
@dennisberg Did you use 7-zip to unpack it? Windows un-packer treats dates in different way so we reccommend to always use 7-zip
I can see I’m getting same result while using Windows “extracl all…” option so I’m 90% sure that’s the problem. Please confirm
Hi, yes that solved the issue! Quite strange, I wonder what Windows extract does that interferes with the installation.
Thanks anyway!
karkob
February 6, 2023, 12:55pm
10
Great to hear that! In terms of tutorials you can also check Verum YT channel
Happy Dezyning!
regtur
February 6, 2023, 12:57pm
11
The installation notes: Binary Installation (Verum-Dezyne Manual)
Read: Please do not use the built-in Windows archive extraction tool: It does not honor the time stamps of the files in the archive and thus produces a faulty installation.
My bad, apparently I read over that note.
