mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] use-syntax for TeXmacs guile modules


Chronological Thread 
  • From: Henri Lesourd <address@hidden>
  • To: Lionel Elie Mamane <address@hidden>
  • Cc: address@hidden
  • Subject: Re: [TeXmacs] use-syntax for TeXmacs guile modules
  • Date: Wed, 18 Oct 2006 15:30:45 +0200

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




Archive powered by MHonArc 2.6.19.

Top of page