mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

Lionel Elie Mamane wrote:

> 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
This feature of (texmacs-module) is probably not implemented.


> 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.
>
>  
Strange. Perhaps a version problem of Guile, or either, ice-9 is not 
installed inside
the embedded Guile inside TeXmacs, whether it is in the CLI guile which 
separately
can be run directly under UNIX.

I know for sure that the Guile which is embedded inside TeXmacs is not
exactly the same one as the one you install independently. I observed this
several times, in the debugging features, for example. But I don't have a
solution right now for this problem.


Best, Henri