\starttyping again

\starttyping again

[Marko Schuetz]

I downloaded 

ConTeXt  ver: 2001.7.11  fmt: 2001.11.13  int: english  mes: english

now a file that was formerly processed

\setuptyping[option=commands]

\define\myge{$\ge$}
\define\myle{$\le$}
\define\myforall{$\forall$}
\define\myland{$\land$}
\define\myin{$\in$}
\define\myldots{$\ldots$}
\define\myobra{$\{$}
\define\mycbra{$\}$}

\starttext

\starttyping
int sqrt(int e)
{
  requires e /myge 0;
  modifies nothing;
  ensures /myforall j /myin int : |e - result^2| /myle |e - j^2|;
}
\stoptyping

\stoptext

results in an error

[..]
systems        : begin file test1 at line 12
Runaway argument?
 int : |e - result^2| \myle  |e - j^2|;\relax \flushrestofverbatimline \ETC.
! Paragraph ended before \dodododoinatreference was complete.
<to be read again> 
                   \par 
\presetnormalverbatimline ...\doflushverbatimline 
                                                  \fi \global \let \savedver...

\doifendofverbatim ...\@@@instring }{#2}#3\else #4
                                                  \fi 
\copyverbatimline ...}{\presetnormalverbatimline }
                                                  \fi \handleverbatimline \c...
l.20 }

?

I'm puzzled. As always, help would be appreciated.

Marko

Re: \starttyping again

[Marko Schuetz]

From: Marko Schuetz <MarkoSchuetz@web.de>
Subject: \starttyping again
Date: Tue, 13 Nov 2001 16:56:54 +0100

> I downloaded 
> 
> ConTeXt  ver: 2001.7.11  fmt: 2001.11.13  int: english  mes: english

with ConTeXt 2001.11.13 this file works again.

> 
> now a file that was formerly processed
> 
> \setuptyping[option=commands]
> 
> \define\myge{$\ge$}
> \define\myle{$\le$}
> \define\myforall{$\forall$}
> \define\myland{$\land$}
> \define\myin{$\in$}
> \define\myldots{$\ldots$}
> \define\myobra{$\{$}
> \define\mycbra{$\}$}
> 
> \starttext
> 
> \starttyping
> int sqrt(int e)
> {
>   requires e /myge 0;
>   modifies nothing;
>   ensures /myforall j /myin int : |e - result^2| /myle |e - j^2|;
> }
> \stoptyping
> 
> \stoptext
[..]

Marko

Re: \starttyping again

[Hans Hagen]

At 05:47 PM 11/14/2001 +0100, you wrote:
>From: Marko Schuetz <MarkoSchuetz@web.de>
>Subject: \starttyping again
>Date: Tue, 13 Nov 2001 16:56:54 +0100
>
> > I downloaded
> >
> > ConTeXt  ver: 2001.7.11  fmt: 2001.11.13  int: english  mes: english
>
>with ConTeXt 2001.11.13 this file works again.

i think that it has to do with the fact that etex's scantokens is used here

Hans
-------------------------------------------------------------------------
                                   Hans Hagen | PRAGMA ADE | pragma@wxs.nl
                       Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
  tel: +31 (0)38 477 53 69 | fax: +31 (0)38 477 53 74 | www.pragma-ade.com
-------------------------------------------------------------------------