def interpret_string_as_space(p): context = Context() res = parse_wrap(Syntax.space, p)[0] unit = eval_space(res, context) assert isinstance(unit, Space) return unit
def p(s): c = Context() r = parse_wrap_check(s, Syntax.space) print r x = eval_space(r, c) print x
def p(s): c = Context() r = parse_wrap_check(s, Syntax.space) _x = eval_space(r, c)
def interpret_string_as_space(p): context = Context() res = parse_wrap(Syntax.space, p)[0] unit = eval_space(res, context) assert isinstance(unit, Space) return unit