-
Notifications
You must be signed in to change notification settings - Fork 50
Description
Describe the bug
Currently, we use regular expressions to parse the GDB MI output. In #72 (review) Chad suggested we used a proper parser to do it:
NIce, this is much better!
Should we consider writing a grammar to simplify this more? Someone did this in rust for pygdbmi -- https://github.com/JP3BGY/gdbmi/blob/master/src/gdbmi_output.pest
We could use lark which has implementation in other languages for the same source
.larkgrammar.
I'm not keen to write a grammar (it's not something I've done since univeristy!) but, as we already have one we could use, this is a good idea.
To Reproduce
N/A
Expected behavior
No visible change to users (apart from performance improvements probably).
Screenshots
N/A
Please complete the following information:
- OS: All
- pygdbmi version (
pip freezeoutput):masterpre-0.10.0.3.
Additional context
N/A