equal
deleted
inserted
replaced
76 else: |
76 else: |
77 raise error.ParseError(_("syntax error"), pos) |
77 raise error.ParseError(_("syntax error"), pos) |
78 pos += 1 |
78 pos += 1 |
79 yield ('end', None, pos) |
79 yield ('end', None, pos) |
80 |
80 |
81 parse = parser.parser(tokenize, elements).parse |
81 def parse(expr): |
|
82 p = parser.parser(tokenize, elements) |
|
83 return p.parse(expr) |
82 |
84 |
83 def getstring(x, err): |
85 def getstring(x, err): |
84 if x and (x[0] == 'string' or x[0] == 'symbol'): |
86 if x and (x[0] == 'string' or x[0] == 'symbol'): |
85 return x[1] |
87 return x[1] |
86 raise error.ParseError(err) |
88 raise error.ParseError(err) |