Mercurial > urweb
comparison src/unnest.sml @ 1017:34ba25d6af3b
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 |