Re: Nested comments

[john43]

>>
>><comment>{
>>    ([^\*\[]|"["[^*]|"*"[^\]])+   { }
>>    "["|"*"  { }
>>    "[*"  ++comment_level;
>>    "*]"  {
>>        --comment_level;
>>        if (comment_level == 0) {
>>            BEGIN(INITIAL);
>>        }
>>      }
>>    <<EOF>> { ... }
>>}
>
>Actually, your suggestion takes 22% longer time... :
-)

That's odd. I benchmarked my code against yours before 
posting and saw consistent decrease in running time, by 
approximately 12%. Must be the input or the compiler 
variation.