diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
| commit | 2355b20a32d8ed4924cee84a44831061b2b49b49 (patch) | |
| tree | 7aa350f9a882036f84b87db938ee217663af875b /src/list_util.sml | |
| parent | 230753c968d4615b8e875940c4147d79d04d1ad3 (diff) | |
Simple signature matching
Diffstat (limited to 'src/list_util.sml')
| -rw-r--r-- | src/list_util.sml | 15 |
1 files changed, 0 insertions, 15 deletions
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 = |