Re: comment bug

[Sven Axelsson]

On 26 May 2018 at 18:46, bb <address@hidden> wrote:

> The essential point: The case of nested block comments is not mentioned
> in the manual. (Or I cannot find it?)
>

It most certainly is. Section 1.2.2 in the learning manual states that:

"A block comment marks a whole section of music input as a comment.
Anything that is enclosed in %{ and %} is ignored. However, block comments
do not ‘nest’. This means that you cannot place a block comment inside
another block comment. If you try, the first %} will terminate both block
comments."

-- 
Sven Axelsson
++++++++++[>++++++++++>+++++++++++>++++++++++>++++++
>++++<<<<<-]>++++.+.++++.>+++++.>+.<<-.>>+.>++++.<<.
+++.>-.<<++.>>----.<++.>>>++++++.<<<<.>>++++.<----.