From beea559e5a21aa589af989d9f88c61aaee740f70 Mon Sep 17 00:00:00 2001 From: "Brandon T. Willard" Date: Sun, 23 Feb 2020 19:56:20 -0600 Subject: [PATCH] Remove unused op_args --- kanren/assoccomm.py | 16 +++------------- tests/test_assoccomm.py | 7 ------- 2 files changed, 3 insertions(+), 20 deletions(-) diff --git a/kanren/assoccomm.py b/kanren/assoccomm.py index b45f025..6af19be 100644 --- a/kanren/assoccomm.py +++ b/kanren/assoccomm.py @@ -34,9 +34,9 @@ from toolz import sliding_window -from unification import isvar, var, reify, unify +from unification import reify, unify, var -from cons.core import ConsError, ConsPair, car, cdr +from cons.core import ConsPair, car, cdr from etuples import etuple @@ -44,22 +44,12 @@ from .goals import itero, permuteo from .facts import Relation from .graph import term_walko -from .term import term, operator, arguments +from .term import term associative = Relation("associative") commutative = Relation("commutative") -def op_args(x): - """Break apart x into an operation and tuple of args.""" - if isvar(x): - return None, None - try: - return operator(x), arguments(x) - except (ConsError, NotImplementedError): - return None, None - - def flatten_assoc_args(op_predicate, items): for i in items: if isinstance(i, ConsPair) and op_predicate(car(i)): diff --git a/tests/test_assoccomm.py b/tests/test_assoccomm.py index 5aae649..fbf2c29 100644 --- a/tests/test_assoccomm.py +++ b/tests/test_assoccomm.py @@ -18,7 +18,6 @@ eq_assoc, eq_assoccomm, assoc_args, - op_args, flatten_assoc_args, assoc_flatten, ) @@ -84,12 +83,6 @@ def results(g, s=None): return tuple(g(s)) -def test_op_args(): - assert op_args(var()) == (None, None) - assert op_args(add(1, 2, 3)) == (Add, (1, 2, 3)) - assert op_args("foo") == (None, None) - - def test_eq_comm(): x, y, z = var(), var(), var()