[Converted from Gnats 603]
3. The gdb/mi output syntax in the manual does not quite reflect reality. In particular the 'console-stream-output', 'target-stream-output' and 'log-stream-output' rules should be suffixed with 'nl'. Also, I've observed an 'out-of-band-record' appearing after a 'result-record' but the syntax doesn't allow this. I guess it should be something like:
output -> (out-of-band-record)* [result-record] (out-of-band-record)* "(gdb)" nl
I suspect the place to put the NL is in <out-of-band-record> removing the NL from <async-class>.