diff options
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 = |