Windows IDE binary error

Hello,

I’m trying to follow the Dezyne Tutorial (using Dezyne 2.17.1, windows).
When trying to start the daemon using 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.
Is there any dependency I am missing?

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

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!
I tried two different environments (different laptops), running 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.

Hi @dennisberg
I’ll try to reproduce your problem, let’s start with basic stuff.
I’m on fresh Windows 11 installation, I downloaded Dezyne 2.17.1 and executed ./dzn verify example:

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:
I tried to move the root to C:\dezyne-2.17.1, this gives the same result.

I’m running Windows 10 (version 21H2)

can you try “./dzn” instead of “dzn”? Also please check README

That results in the same output.
Is the version you are using obtained from here?

@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. :face_with_raised_eyebrow:

Thanks anyway!

Great to hear that! In terms of tutorials you can also check Verum YT channel

Happy Dezyning!

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.