Mercurial > urweb
diff src/unpoly.sml @ 796:6271f0e3c272
Fix a nasty binding bug in CoreUtil
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 14 May 2009 09:11:58 -0400 |
parents | dc3fc3f3b834 |
children | 065ce3252090 |
line wrap: on
line diff
--- a/src/unpoly.sml Thu May 14 08:15:36 2009 -0400 +++ b/src/unpoly.sml Thu May 14 09:11:58 2009 -0400 @@ -138,14 +138,7 @@ in trim (t, e, cargs) end - | (_, _, []) => - (*let - val e = foldl (fn ((_, n, n_old, _, _, _), e) => - unpolyNamed (n_old, ENamed n) e) - e vis - in*) - SOME (t, e) - (*end*) + | (_, _, []) => SOME (t, e) | _ => NONE in (*Print.prefaces "specialize"