hello, i noticed that when defining a module and exporting a procedure not defined this does not cause an error in Guile ( at the opposite to Racket for example). example: (define-module (my_module) #:export (my_undefined_procedure) (include-from-path "file.scm")) in REPL: (use-modules (my_module)) ice-9/boot-9.scm:1685:16: In procedure raise-exception: Unbound variable: my_undefined_procedure Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. scheme@(guile-user) [1]> ,q regards, damien