Re: Nested comments

[Hans Aberg]

At 11:48 +0200 2003/07/02, Hans-Bernhard Broeker wrote:
>> Flex Compiler
>> %option yylineno entails a performance penalty ONLY on rules that can match
>> newline characters
>>
>> Can it be that %option yylineno causes such a severe performance loss?
>
>IIRC, line number counting is an almost guaranteed performance killer,
>indeed. This has been discussed at length before.

Two are see yourself :-).

Actually, %option yylineno is not the problem, because I removed it, and
there is no significant difference in timing: The nested comments still
takes about 50% more time than theorem proving.

  Hans Aberg