From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 27 Mar 2018 01:05:23 +0000 (-0600)
Subject: remove flatten
X-Git-Tag: v0.8.110~510
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=eb694cbba7e25e479e1cada9bf202bf2323b5052;p=scryer-prolog.git

remove flatten
---

diff --git a/README.md b/README.md
index c1614ee3..35621da2 100644
--- a/README.md
+++ b/README.md
@@ -136,7 +136,6 @@ The following predicates are built-in to rusty-wam.
 * `display/1`
 * `duplicate_term/2`
 * `false/0`
-* `flatten/2`
 * `float/1`
 * `functor/3`
 * `ground/1`
diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl
index 9b2e67f5..ab3ae5dd 100644
--- a/src/prolog/lib/lists.pl
+++ b/src/prolog/lib/lists.pl
@@ -1,6 +1,5 @@
 :- module(lists, [member/2, select/3, append/3, is_list/1, memberchk/2, reverse/2, maplist/2,
-		  flatten/2, maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8,
-		  maplist/9]).
+		  maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8, maplist/9]).
 
 member(X, [X|_]).
 member(X, [_|Xs]) :- member(X, Xs).
@@ -24,14 +23,6 @@ reverse([], Ys, Ys).
 reverse([H|T], Ps, Rs) :-
     reverse(T, [H|Ps], Rs).
 
-flatten([], List, List) :- !.
-flatten([Head|Tail], List0, List) :- !,
-    flatten(Head, List0, List1),
-    flatten(Tail, List1, List).
-flatten(Other, [Other|List], List).
-
-flatten(Tree, List) :- flatten(Tree, List, []).
-
 maplist(_, []).
 maplist(Cont1, [E1|E1s]) :-
     call(Cont1, E1),