Mercurial > urweb

diff src/list_util.sml @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 4ab19c19665f
children 44b5405e74c7
line wrap: on
line diff
--- a/src/list_util.sml	Thu Jun 12 14:04:22 2008 -0400
+++ b/src/list_util.sml	Thu Jun 12 17:16:20 2008 -0400
@@ -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 =