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)