Mercurial > urweb

comparison src/unnest.sml @ 826:78504d97410b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix EDLet elab_util bug
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 12:40:55 -0400
parents 7f871c03e3a1
children 34ba25d6af3b
comparison
equal deleted inserted replaced
825:7f871c03e3a1 826:78504d97410b
239 (IS.union (cfv, IS.union (cfv', cfv'')), 239 (IS.union (cfv, IS.union (cfv', cfv'')),
240 IS.union (efv, efv')) 240 IS.union (efv, efv'))
241 end) 241 end)
242 (IS.empty, IS.empty) vis 242 (IS.empty, IS.empty) vis
243 243
244 (*val () = print ("A: " ^ Int.toString (length ts) ^ ", " ^ Int.toString (length ks) ^ "\n") 244 (*val () = Print.prefaces "Letto" [("e", ElabPrint.p_exp E.empty (old, ErrorMsg.dummySpan))]*)
245 val () = app (fn (x, t) => 245 (*val () = print ("A: " ^ Int.toString (length ts) ^ ", " ^ Int.toString (length ks) ^ "\n")*)
246 (*val () = app (fn (x, t) =>
246 Print.prefaces "Var" [("x", Print.PD.string x), 247 Print.prefaces "Var" [("x", Print.PD.string x),
247 ("t", ElabPrint.p_con E.empty t)]) ts*) 248 ("t", ElabPrint.p_con E.empty t)]) ts
249 val () = IS.app (fn n => print ("Free: " ^ Int.toString n ^ "\n")) efv*)
248 250
249 val cfv = IS.foldl (fn (x, cfv) => 251 val cfv = IS.foldl (fn (x, cfv) =>
250 let 252 let
251 (*val () = print (Int.toString x ^ "\n")*) 253 (*val () = print (Int.toString x ^ "\n")*)
252 val (_, t) = List.nth (ts, x) 254 val (_, t) = List.nth (ts, x)