Re: Nested comments

[john43]

>I implemented nested [* ... *] comments by the code 
below, but it turns out
>to be slow with many nestings, and I do not know why. 
Is there a way to
>make it faster?
>

Probably not by much, but you can try this:

<comment>{
    ([^\*\[]|"["[^*]|"*"[^\]])+   { }
    "["|"*"  { }
    "[*"  ++comment_level;
    "*]"  {
        --comment_level;
        if (comment_level == 0) {
            BEGIN(INITIAL);
        }
      }
    <<EOF>> { ... }
}