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