Mercurial > urweb

comparison src/unpoly.sml @ 796:6271f0e3c272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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),