From 95d278b9b8e9c314541b8251a34a32fe6deeb896 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 11:43:57 -0400
Subject: Starting with closure links

---
 src/list_util.sml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/list_util.sml')

diff --git a/src/list_util.sml b/src/list_util.sml
index 7f87b87e..fff3e78e 100644
--- a/src/list_util.sml
+++ b/src/list_util.sml
@@ -29,6 +29,16 @@ structure ListUtil :> LIST_UTIL = struct
 
 structure S = Search
 
+fun mapConcat f =
+    let
+        fun mc acc ls =
+            case ls of
+                [] => rev acc
+              | h :: t => mc (List.revAppend (f h, acc)) t
+    in
+        mc []
+    end
+
 fun mapfold f =
     let
         fun mf ls s =
-- 
cgit v1.2.3