Mercurial > urweb
comparison src/compiler.sml @ 515:4929cf86bc03
Stop using redundant Defunc pass
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 27 Nov 2008 10:46:45 -0500 |
parents | 65d8541c130b |
children | 1901db85acb4 |
comparison
equal
deleted
inserted
replaced
514:0fc08d1750e1 | 515:4929cf86bc03 |
---|---|
444 print = CorePrint.p_file CoreEnv.empty | 444 print = CorePrint.p_file CoreEnv.empty |
445 } | 445 } |
446 | 446 |
447 val toShake1 = transform shake "shake1" o toCore_untangle | 447 val toShake1 = transform shake "shake1" o toCore_untangle |
448 | 448 |
449 val defunc = { | |
450 func = Defunc.defunc, | |
451 print = CorePrint.p_file CoreEnv.empty | |
452 } | |
453 | |
454 val toDefunc = transform defunc "defunc" o toShake1 | |
455 | |
456 val toCore_untangle' = transform core_untangle "core_untangle'" o toDefunc | |
457 val toShake1' = transform shake "shake1'" o toCore_untangle' | |
458 | |
459 val tag = { | 449 val tag = { |
460 func = Tag.tag, | 450 func = Tag.tag, |
461 print = CorePrint.p_file CoreEnv.empty | 451 print = CorePrint.p_file CoreEnv.empty |
462 } | 452 } |
463 | 453 |
464 val toTag = transform tag "tag" o toShake1' | 454 val toTag = transform tag "tag" o toShake1 |
465 | 455 |
466 val reduce = { | 456 val reduce = { |
467 func = Reduce.reduce, | 457 func = Reduce.reduce, |
468 print = CorePrint.p_file CoreEnv.empty | 458 print = CorePrint.p_file CoreEnv.empty |
469 } | 459 } |