First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: Typeset values


Chronological Thread 
  • From: Basile Audoly <address@hidden>
  • To: Frank <address@hidden>
  • Cc: TeXmacs <address@hidden>
  • Subject: Re: Typeset values
  • Date: Thu, 18 Jun 2020 14:08:08 +0200
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.

Basile

Le 16 juin 2020 à 17:44, Frank <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



Archive powered by MHonArc 2.6.19.

Top of page