mailing-list for TeXmacs Users

[Lionel Elie Mamane <address@hidden>]

Hi,

How does one import a syntax extension from a Guile library into a
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 putting
 (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.


So, how do I do that in a TeXmacs Scheme module?

-- 
Lionel