Problem with '\ ' in math commands in current minimals

Problem with '\ ' in math commands in current minimals

[Morgan Brassel]

Hi everyone,

In the following example:

\define[1]\com{com\ #1}
\starttext
\com{1} $\com{1}$
\stoptext

the second call to \com (the one in math mode) seems to stop the 
compilation of the file. Is it a bug? It wasn't happening before. I'm 
using the latest minimals.

Best regards,
Morgan

___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Problem with '\ ' in math commands in current minimals

[Aditya Mahajan]

On Tue, 10 Jun 2008, Morgan Brassel wrote:

> Hi everyone,
>
> In the following example:
>
> \define[1]\com{com\ #1}
> \starttext
> \com{1} $\com{1}$
> \stoptext
>
> the second call to \com (the one in math mode) seems to stop the
> compilation of the file. Is it a bug? It wasn't happening before. I'm
> using the latest minimals.

Definitely a bug: the trace shows a recursive definition. \ is defined in 
terms of itself. Looking at core-spa.tex I cannot understand why this is 
happening.

This is the output of \loggingall


\com #1->com\ #1
#1<-1
{the letter c}
{the letter o}
{the letter m}

\ ->\mathortext \normalspaceprimitive {\dontleavehmode \space }

\mathortext ->\ifmmode \expandafter \firstoftwoarguments \else 
\expandafter \se
condoftwoarguments \fi
{\ifmmode: (level 1) entered on line 6}
{true}
{\expandafter}
{\else: \ifmmode (level 1) entered on line 6}
{\fi: \ifmmode (level 1) entered on line 6}

\firstoftwoarguments #1#2->#1
#1<-\normalspaceprimitive
#2<-\dontleavehmode \space

\normalspaceprimitive ->\

\ ->\mathortext \normalspaceprimitive {\dontleavehmode \space }


Aditya
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Problem with '\ ' in math commands in current minimals

[Hans Hagen]

Aditya Mahajan wrote:
> On Tue, 10 Jun 2008, Morgan Brassel wrote:
> 
>> Hi everyone,
>>
>> In the following example:
>>
>> \define[1]\com{com\ #1}
>> \starttext
>> \com{1} $\com{1}$
>> \stoptext
>>
>> the second call to \com (the one in math mode) seems to stop the
>> compilation of the file. Is it a bug? It wasn't happening before. I'm
>> using the latest minimals.
> 
> Definitely a bug: the trace shows a recursive definition. \ is defined in 
> terms of itself. Looking at core-spa.tex I cannot understand why this is 
> happening.

hm, i'll look into it; i changed some things in the process of writing 
the mkiv mathml(3) interpreter.

\ is a primitive in tex but with some properties that may not always be 
optimal

-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                              | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Problem with '\ ' in math commands in current minimals

[Hans Hagen]

Aditya Mahajan wrote:
> On Tue, 10 Jun 2008, Morgan Brassel wrote:
> 
>> Hi everyone,
>>
>> In the following example:
>>
>> \define[1]\com{com\ #1}
>> \starttext
>> \com{1} $\com{1}$
>> \stoptext
>>
>> the second call to \com (the one in math mode) seems to stop the
>> compilation of the file. Is it a bug? It wasn't happening before. I'm
>> using the latest minimals.
> 
> Definitely a bug: the trace shows a recursive definition. \ is defined in 
> terms of itself. Looking at core-spa.tex I cannot understand why this is 
> happening.

in core-spa.tex change this line:

\let\normalspaceprimitive=\ % space-comment is really needed

if you want to be puzzled ... try

\show\
\show\ %



-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                              | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Problem with '\ ' in math commands in current minimals

[Morgan Brassel]

On Tue, 10 Jun 2008, Hans Hagen wrote:

> Aditya Mahajan wrote:
>> On Tue, 10 Jun 2008, Morgan Brassel wrote:
>>
>>> Hi everyone,
>>>
>>> In the following example:
>>>
>>> \define[1]\com{com\ #1}
>>> \starttext
>>> \com{1} $\com{1}$
>>> \stoptext
>>>
>>> the second call to \com (the one in math mode) seems to stop the
>>> compilation of the file. Is it a bug? It wasn't happening before. I'm
>>> using the latest minimals.
>>
>> Definitely a bug: the trace shows a recursive definition. \ is defined in
>> terms of itself. Looking at core-spa.tex I cannot understand why this is
>> happening.
>
> in core-spa.tex change this line:
>
> \let\normalspaceprimitive=\ % space-comment is really needed
>
> if you want to be puzzled ... try
>
> \show\
> \show\ %

Thank you for this fast correction, Hans. By the way, I have a small 
question about updating the minimals tree: which command must be used 
preferably?

* ctxtools --contextupdate

or

* first-setup.sh another time as suggested on
http://wiki.contextgarden.net/ConTeXt_Minimals

Many thanks,
Morgan

___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Problem with '\ ' in math commands in current minimals

[Aditya Mahajan]

On Tue, 10 Jun 2008, Hans Hagen wrote:

> Aditya Mahajan wrote:
>> On Tue, 10 Jun 2008, Morgan Brassel wrote:
>>
>>> Hi everyone,
>>>
>>> In the following example:
>>>
>>> \define[1]\com{com\ #1}
>>> \starttext
>>> \com{1} $\com{1}$
>>> \stoptext
>>>
>>> the second call to \com (the one in math mode) seems to stop the
>>> compilation of the file. Is it a bug? It wasn't happening before. I'm
>>> using the latest minimals.
>>
>> Definitely a bug: the trace shows a recursive definition. \ is defined in
>> terms of itself. Looking at core-spa.tex I cannot understand why this is
>> happening.
>
> in core-spa.tex change this line:
>
> \let\normalspaceprimitive=\ % space-comment is really needed
>
> if you want to be puzzled ... try
>
> \show\
> \show\ %

Ah, interesting. I did not know that \^^M was a macro. On hindsight, 
it makes sense.

Aditya
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________