changeset 83:d8cc0de4e1ca draft

Remove unused function from JSON parser
author Lewin Bormann <lbo@spheniscida.de>
date Sat, 25 May 2019 23:49:33 +0200
parents 27fb2e50dad2
children 9de5cf4fdeab
files pcombinators/tests/json.py
diffstat 1 files changed, 0 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/pcombinators/tests/json.py	Sat May 25 23:48:44 2019 +0200
+++ b/pcombinators/tests/json.py	Sat May 25 23:49:33 2019 +0200
@@ -35,14 +35,6 @@
 
 # LISTS
 
-def concat_elems_elem(l):
-    if len(l) == 1:
-        return l
-    elif len(l) == 2 and type(l[0]) is list:
-        l[0].append(l[1])
-        return l[0]
-    assert False, "Unexpected list format: {}".format(l)
-
 # An entry is any value.
 entry = Last(Value() + Skip(String(',') | Nothing()))
 # A list is a [, followed by mid entries, followed by a final entry, and a