Mercurial > urweb

comparison src/unnest.sml @ 1017:34ba25d6af3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Inlining threshold for Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 12:48:50 -0400
parents 78504d97410b
children b2311dfb3158
comparison
equal deleted inserted replaced
1016:065ce3252090 1017:34ba25d6af3b
337 (e, t) cfv 337 (e, t) cfv
338 in 338 in
339 (*Print.prefaces "Have a vi" 339 (*Print.prefaces "Have a vi"
340 [("x", Print.PD.string x), 340 [("x", Print.PD.string x),
341 ("e", ElabPrint.p_exp ElabEnv.empty e)];*) 341 ("e", ElabPrint.p_exp ElabEnv.empty e)];*)
342 (x, n, t, e) 342 ("$" ^ x, n, t, e)
343 end) 343 end)
344 vis 344 vis
345 345
346 val ts = List.revAppend (map (fn (x, _, t, _) => (x, t)) vis, ts) 346 val ts = List.revAppend (map (fn (x, _, t, _) => (x, t)) vis, ts)
347 in 347 in