Mercurial > urweb
comparison src/compiler.sml @ 484:685b41e85634
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 } |