How does one import a syntax extension from a Guile library into aThis feature of (texmacs-module) is probably not implemented.
TeXmacs module? At a guile prompt, I can do
(use-syntax (ice-9 syncase))
and I can use the :use-syntax option for a Guile module. But how do I
do that for a TeXmacs module? Doing e.g.:
(texmacs-module (coq-utils)
(:use-syntax (ice-9 syncase)))
seems not to have any effect
and puttingStrange. Perhaps a version problem of Guile, or either, ice-9 is not installed inside
(use-syntax (ice-9 syncase))
in the code gives an error message:
/usr/share/guile/1.6/ice-9/syncase.scm:130:16: In procedure scm-error in
expression (scm-error (quote misc-error) who ...):
/usr/share/guile/1.6/ice-9/syncase.scm:130:16: invalid syntax (safe-cdr .
args)
On the other hand, typing "(use-syntax (ice-9 syncase))" in a Scheme
session in TeXmacs seems to work.
Archive powered by MHonArc 2.6.19.