Mercurial > urweb

comparison src/compiler.sml @ 484:685b41e85634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Defunctionalization gets CommentBlog working
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 16:54:42 -0500
parents 9117a7bf229c
children 5521bb0b4014
comparison
equal deleted inserted replaced
483:a0f47540d8ad 484:685b41e85634
437 print = CorePrint.p_file CoreEnv.empty 437 print = CorePrint.p_file CoreEnv.empty
438 } 438 }
439 439
440 val toShake1 = transform shake "shake1" o toCore_untangle 440 val toShake1 = transform shake "shake1" o toCore_untangle
441 441
442 val defunc = {
443 func = Defunc.defunc,
444 print = CorePrint.p_file CoreEnv.empty
445 }
446
447 val toDefunc = transform defunc "defunc" o toShake1
448
442 val tag = { 449 val tag = {
443 func = Tag.tag, 450 func = Tag.tag,
444 print = CorePrint.p_file CoreEnv.empty 451 print = CorePrint.p_file CoreEnv.empty
445 } 452 }
446 453
447 val toTag = transform tag "tag" o toShake1 454 val toTag = transform tag "tag" o toDefunc
448 455
449 val reduce = { 456 val reduce = {
450 func = Reduce.reduce, 457 func = Reduce.reduce,
451 print = CorePrint.p_file CoreEnv.empty 458 print = CorePrint.p_file CoreEnv.empty
452 } 459 }