mailing-list for TeXmacs Users

Text archives Help


surprise of the day - with


Chronological Thread 
  • From: Sam Liddicott <address@hidden>
  • To: TeXmacs user list <address@hidden>
  • Subject: surprise of the day - with
  • Date: Tue, 13 Feb 2024 12:01:48 +0000

Today I was surprised by how "with" will spring a variable into existence permanently (texmacs 2.1.2 pre-compiled deb for ubuntu focal).

What do you think this will do?

<if|<provides|dummy>|dummy exists <value|dummy>>

<with|dummy|temp-value|<if|<provides|dummy>|dummy briefly exists <value|dummy>>>

<if|<provides|dummy>|dummy finally exists <value|dummy>>


dummy briefly exists temp-value
dummy finally exists ? <--- this line shouldn't exist

Yep - after using a <with|var|...
the var is now provided for globally -- with label uninit.

This means the <provides| test is weakened and existing macros can be broken by other macros.

Sam


  • surprise of the day - with, Sam Liddicott, 02/13/2024

Archive powered by MHonArc 2.6.24.

Top of page