Mercurial > urweb
comparison src/compiler.sml @ 488:5521bb0b4014
Get preliminary ThreadedBlog working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 15:12:24 -0500 |
parents | 685b41e85634 |
children | 8875ff2e85dc |
comparison
equal
deleted
inserted
replaced
487:33d5bd69da00 | 488:5521bb0b4014 |
---|---|
444 print = CorePrint.p_file CoreEnv.empty | 444 print = CorePrint.p_file CoreEnv.empty |
445 } | 445 } |
446 | 446 |
447 val toDefunc = transform defunc "defunc" o toShake1 | 447 val toDefunc = transform defunc "defunc" o toShake1 |
448 | 448 |
449 val toCore_untangle' = transform core_untangle "core_untangle'" o toDefunc | |
450 val toShake1' = transform shake "shake1'" o toCore_untangle' | |
451 | |
449 val tag = { | 452 val tag = { |
450 func = Tag.tag, | 453 func = Tag.tag, |
451 print = CorePrint.p_file CoreEnv.empty | 454 print = CorePrint.p_file CoreEnv.empty |
452 } | 455 } |
453 | 456 |
454 val toTag = transform tag "tag" o toDefunc | 457 val toTag = transform tag "tag" o toShake1' |
455 | 458 |
456 val reduce = { | 459 val reduce = { |
457 func = Reduce.reduce, | 460 func = Reduce.reduce, |
458 print = CorePrint.p_file CoreEnv.empty | 461 print = CorePrint.p_file CoreEnv.empty |
459 } | 462 } |