Re: [isabelle-dev] Fix top-level printing of exception messages containing forced-line breaks

2013-04-05 Thread Makarius
On Fri, 5 Apr 2013, Thomas Sewell wrote: By comparison, David is providing you with what would be considered a good bug report in most open-source communities. It comes with a clear explanation not only of what the problem is but what causes it to occur, and how it might be fixed. In such comm

Re: [isabelle-dev] Fix top-level printing of exception messages containing forced-line breaks

2013-04-05 Thread Thomas Sewell
None of us reported my problem, because it concerned a somewhat elaborate case in some somewhat elaborate code I wrote, which we never managed to conveniently reproduce. Noone realised at the time that the exception-printing mechanism was at fault all by itself. This would be an archetypal bad