Chronological Thread 

< Chronological >      < Thread >

---

Hi, thanks for the link.

However, I still find it confusing, comparing

https://www.texmacs.org/tmweb/manual/webman-style.en.html

Section 3.4, in particular, the examples,

<document|<assign|foo|<macro|x|<eval|<blah|<quote-arg|x>|<quote-arg|x>>>>>>
<document|<assign|fun|<macro|x|<with|x*|x|<blah|<quote-value|x*>|<quote-value|x*>>>>>>

The TeXmacs, unlike Scheme functions (I have no idea about macro programming in Scheme), does not expand environments in the macro definition. What if, for example, that stuff is evaluated beyond the lexical "lifetime" of arguments? I tried that, and TeXmacs give me the verbatim answer.

Best wishes,

Frank

On 18/06/2020, Basile Audoly wrote:

Hi Frank,

Here is a possible interpretation.
"typeset" means "evaluated" in this context: \arg returns the fully evaluated argument, while \quote-arg returns the unevaluated argument. The evaluation ultimately resumes due to the enclosing \eval. This will have to be confirmed, I am not sure at all that this is correct.

Here is a pointer to evaluation flow in Scheme, which TeXmacs has used as an inspiration.
https://courses.cs.washington.edu/courses/cse341/04wi/lectures/14-scheme-quote.html

Basile

Le 16 juin 2020 à 17:44, Frank <address@hidden <mailto:address@hidden>> a écrit :

Dear all,

I failed to understand the difference between \arg and \quote-arg, In particular, in the user manual

http://www.texmacs.org/tmweb/manual/webman-styling.en.html

it's said that

In some cases, it may be useful to access the real, non-typeset value.

However, I failed to find definitions of typeset value and non-typeset value. Where can I learn something about this?

Thanks!

Best wishes,

Frank

--
Best wishes!
Yours,

---

• Typeset values, Frank, 06/16/2020
  • Re: Typeset values, Basile Audoly, 06/18/2020
    • Re: Typeset values, Frank, 06/19/2020

---

Archive powered by MHonArc 2.6.19.