comparison src/compiler.sml @ 601:7c3c21eb5b4c

Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents 57018f21cd5c
children 0dd40b6bfdf3
comparison
equal deleted inserted replaced
600:d1cce194180d 601:7c3c21eb5b4c
529 529
530 val toFuse = transform fuse "fuse" o toMono_opt3 530 val toFuse = transform fuse "fuse" o toMono_opt3
531 531
532 val toUntangle2 = transform untangle "untangle2" o toFuse 532 val toUntangle2 = transform untangle "untangle2" o toFuse
533 533
534 val toMono_shake2 = transform mono_shake "mono_shake2" o toUntangle2 534 val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2
535 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2
535 536
536 val pathcheck = { 537 val pathcheck = {
537 func = (fn file => (PathCheck.check file; file)), 538 func = (fn file => (PathCheck.check file; file)),
538 print = MonoPrint.p_file MonoEnv.empty 539 print = MonoPrint.p_file MonoEnv.empty
539 } 540 }