Chronological Thread 

< Chronological >      < Thread >

---

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

---

• use-syntax for TeXmacs guile modules, Lionel Elie Mamane, 10/18/2006
  • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Henri Lesourd, 10/18/2006
    • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Lionel Elie Mamane, 10/18/2006
      • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Henri Lesourd, 10/18/2006
        • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Lionel Elie Mamane, 10/19/2006
          • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Henri Lesourd, 10/19/2006
            • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Lionel Elie Mamane, 10/19/2006
              • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Henri Lesourd, 10/19/2006
  • Re: [TeXmacs] use-syntax for TeXmacs guile modules, Henri Lesourd, 10/20/2006

---

Archive powered by MHonArc 2.6.19.