def do_parse(self, output): """Parse coqtop results and serialize""" logging.debug("Unformatted Output: %s" % output) output = ' '.join(output.splitlines()) result = parser.parse(output) return result
def do_parse(s): s = ' '.join(s.splitlines()) print s result = parser.parse(s) pp.pprint(result)