Andy Wingo wrote:
> This procedure is not exported from (system foreign), but
> from (guile).
I see, indeed this fixes my problems. By the way, Vicare
exports the FFI bindings from (vicare) too, but it also
installs a (vicare ffi) library which reexports all of them:
I find this solution
Hi,
On Wed 16 Jan 2013 12:43, Marco Maggi writes:
> ;;; WARNING: compilation of /home/marco/var/tmp/proof.sps failed:
> ;;; ERROR: In procedure module-lookup: Unbound variable: dynamic-link
This procedure is not exported from (system foreign), but from (guile).
> But the program:
>
>#!r6
On a i686-pc-linux-gnu running Guile 2.0.7 doing:
$ guile -x .sls -L . proof.sps
with the program:
#!r6rs
(import (rnrs) (proof))
and the library:
#!r6rs
(library (proof)
(export libz)
(import (rnrs)
(system foreign))
(define libz
(dynamic-link "libz