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