From: timv Date: Wed, 12 Dec 2012 02:44:30 +0000 (-0500) Subject: fixed bug in loading anf output. X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=eb618a9a10f31338802426bcceecd38666d68d82;p=dyna2 fixed bug in loading anf output. --- diff --git a/bin/utils.py b/bin/utils.py index 7797664..1d27421 100644 --- a/bin/utils.py +++ b/bin/utils.py @@ -49,8 +49,15 @@ def parse_sexpr(e): def read_anf(e): x = parse_sexpr(e) + def _g(x): +# return [(var, val[0], val[1:]) for var, val in x] + for var, val in x: + if isinstance(val, list): + yield (var, val[0], val[1:]) + else: + yield (var, val, []) def g(x): - return [(var, val[0], val[1:]) for var, val in x] + return list(_g(x)) for (agg, head, side, evals, unifs, [_,result]) in x: yield (agg,