Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
795:b87e71e45536 | 796:6271f0e3c272 |
---|---|
136 val t = subConInCon (length cargs, carg) t | 136 val t = subConInCon (length cargs, carg) t |
137 val e = subConInExp (length cargs, carg) e | 137 val e = subConInExp (length cargs, carg) e |
138 in | 138 in |
139 trim (t, e, cargs) | 139 trim (t, e, cargs) |
140 end | 140 end |
141 | (_, _, []) => | 141 | (_, _, []) => SOME (t, e) |
142 (*let | |
143 val e = foldl (fn ((_, n, n_old, _, _, _), e) => | |
144 unpolyNamed (n_old, ENamed n) e) | |
145 e vis | |
146 in*) | |
147 SOME (t, e) | |
148 (*end*) | |
149 | _ => NONE | 142 | _ => NONE |
150 in | 143 in |
151 (*Print.prefaces "specialize" | 144 (*Print.prefaces "specialize" |
152 [("t", CorePrint.p_con CoreEnv.empty t), | 145 [("t", CorePrint.p_con CoreEnv.empty t), |
153 ("e", CorePrint.p_exp CoreEnv.empty e), | 146 ("e", CorePrint.p_exp CoreEnv.empty e), |