From 2355b20a32d8ed4924cee84a44831061b2b49b49 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 12 Jun 2008 17:16:20 -0400
Subject: Simple signature matching

---
 src/list_util.sml | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'src/list_util.sml')

diff --git a/src/list_util.sml b/src/list_util.sml
index aed2cdf0..7d3f8333 100644
--- a/src/list_util.sml
+++ b/src/list_util.sml
@@ -27,21 +27,6 @@
 
 structure ListUtil :> LIST_UTIL = struct
 
-fun mapfoldl f i =
-    let
-        fun mf s ls' ls =
-            case ls of
-                nil => (s, rev ls')
-              | h :: t =>
-                let
-                    val (s, h') = f (h, s)
-                in
-                    mf s (h' :: ls') t
-                end
-    in
-        mf i []
-    end
-
 structure S = Search
 
 fun mapfold f =
-- 
cgit v1.2.3