diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-25 12:08:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-25 12:08:21 -0400 |
| commit | 5291d69e926a1967ab169482c60c09de696a8655 (patch) | |
| tree | ec15a07fb2f89e4a678549904dd3c4ad9bec434d /src/unpoly.sml | |
| parent | 035ef05c947fc26c7dc8337379e0f3c8433a2332 (diff) | |
Inlining threshold for Reduce
Diffstat (limited to 'src/unpoly.sml')
| -rw-r--r-- | src/unpoly.sml | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/src/unpoly.sml b/src/unpoly.sml index 6f838392..14ab4563 100644 --- a/src/unpoly.sml +++ b/src/unpoly.sml @@ -162,12 +162,19 @@ fun exp (e, st : state) = val vis' = map (fn (x, n, _, t, e, s) => (x, n, t, e, s)) vis - val funcs = IM.insert (#funcs st, n, - {kinds = ks, - defs = old_vis, - replacements = M.insert (replacements, - cargs, - thisName)}) + val funcs = foldl (fn ((_, n, n_old, _, _, _), funcs) => + let + val replacements = case IM.find (funcs, n_old) of + NONE => M.empty + | SOME {replacements = r, ...} => r + in + IM.insert (funcs, n_old, + {kinds = ks, + defs = old_vis, + replacements = M.insert (replacements, + cargs, + n)}) + end) (#funcs st) vis val ks' = List.drop (ks, length cargs) |