comparison src/compiler.sml @ 1185:338be96f8533

Undo an Especialize change that turned out to be unecessary
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 10:09:01 -0400
parents d6f0e972b706
children a4ac900d3085
comparison
equal deleted inserted replaced
1184:d6f0e972b706 1185:338be96f8533
1083 1083
1084 val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2 1084 val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2
1085 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2 1085 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2
1086 val toMono_opt4 = transform mono_opt "mono_opt4" o toMono_shake2 1086 val toMono_opt4 = transform mono_opt "mono_opt4" o toMono_shake2
1087 val toMono_reduce3 = transform mono_reduce "mono_reduce3" o toMono_opt4 1087 val toMono_reduce3 = transform mono_reduce "mono_reduce3" o toMono_opt4
1088 val toFuse2 = transform fuse "shake2" o toMono_reduce3 1088 val toFuse2 = transform fuse "fuse2" o toMono_reduce3
1089 val toUntangle3 = transform untangle "untangle3" o toFuse2 1089 val toUntangle3 = transform untangle "untangle3" o toFuse2
1090 val toMono_shake3 = transform mono_shake "mono_shake3" o toUntangle3 1090 val toMono_shake3 = transform mono_shake "mono_shake3" o toUntangle3
1091 1091
1092 val pathcheck = { 1092 val pathcheck = {
1093 func = (fn file => (PathCheck.check file; file)), 1093 func = (fn file => (PathCheck.check file; file)),