def deserialise_stack_bounds(lines):
bounds = {}
for line in lines:
bits = line.split()
if not bits:
continue
assert bits[0] == 'StackBound'
fname = bits[1]
(_, bound) = syntax.parse_expr(bits, 2)
bounds[fname] = bound
return bounds
def deserialise_stack_bounds (lines):
bounds = {}
for line in lines:
bits = line.split ()
if not bits:
continue
assert bits[0] == 'StackBound'
fname = bits[1]
(_, bound) = syntax.parse_expr (bits, 2)
bounds[fname] = bound
return bounds
def deserialise_lambda(ss, i):
assert ss[i:i + 2] == ['Lambda', '%i'], (ss, i)
(i, typ) = syntax.parse_typ(ss, i + 2)
assert typ == word32T, typ
(i, eq_term) = syntax.parse_expr(ss, i)
return (i, eq_term)
def deserialise_lambda (ss, i): assert ss[i : i + 2] == ['Lambda', '%i'], (ss, i) (i, typ) = syntax.parse_typ (ss, i + 2) assert typ == word32T, typ (i, eq_term) = syntax.parse_expr (ss, i) return (i, eq_term)
