On 7/5/22 18:39, Dan Eble wrote:
I'll try to explain this more clearly. I doubt that we actually disagree about
this. I did not mean that those two cases should be handled the same in every
respect. My thoughts were focused on creating spanners at the end of the score.
Warning about a score ending in c1*0\< is likely to be helpful.
Creating a weird hairpin grob because no \fine was observed is not likely to be
helpful; rather, it is likely to lead to other errors like in issue 6372.
This I agree with. It does mean we need to differentiate
termination with \fine and normal termination, which I
think we also agree on.
