From eb618a9a10f31338802426bcceecd38666d68d82 Mon Sep 17 00:00:00 2001 From: timv Date: Tue, 11 Dec 2012 21:44:30 -0500 Subject: [PATCH] fixed bug in loading anf output. --- bin/utils.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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, -- 2.50.1