Mercurial > urweb

comparison src/compiler.sml @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents f7b25375c0cf
children 85819353a84f
comparison
equal deleted inserted replaced
442:9095a95a1bf9 443:bd9ee9aeca2f
402 print = CorePrint.p_file CoreEnv.empty 402 print = CorePrint.p_file CoreEnv.empty
403 } 403 }
404 404
405 val toCorify = transform corify "corify" o toExplify 405 val toCorify = transform corify "corify" o toExplify
406 406
407 val especialize = {
408 func = ESpecialize.specialize,
409 print = CorePrint.p_file CoreEnv.empty
410 }
411
412 val toEspecialize = transform especialize "especialize" o toCorify
413
407 val shake = { 414 val shake = {
408 func = Shake.shake, 415 func = Shake.shake,
409 print = CorePrint.p_file CoreEnv.empty 416 print = CorePrint.p_file CoreEnv.empty
410 } 417 }
411 418
412 val toShake1 = transform shake "shake1" o toCorify 419 val toShake1 = transform shake "shake1" o toEspecialize
413 420
414 val tag = { 421 val tag = {
415 func = Tag.tag, 422 func = Tag.tag,
416 print = CorePrint.p_file CoreEnv.empty 423 print = CorePrint.p_file CoreEnv.empty
417 } 424 }