mailing-list for TeXmacs Users

[Frank <address@hidden>]

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,