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 }