comparison src/sources @ 1276:5b5c0b552f59

Another run of Specialize, using ReduceLocal on datatype parameters
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Jun 2010 09:42:37 -0400
parents a7b773f1d053
children 3b22c3c67f35
comparison
equal deleted inserted replaced
1275:74150edf1134 1276:5b5c0b552f59
111 reduce.sml 111 reduce.sml
112 112
113 shake.sig 113 shake.sig
114 shake.sml 114 shake.sml
115 115
116 reduce_local.sig
117 reduce_local.sml
118
116 unpoly.sig 119 unpoly.sig
117 unpoly.sml 120 unpoly.sml
118 121
119 specialize.sig 122 specialize.sig
120 specialize.sml 123 specialize.sml
121 124
122 reduce_local.sig
123 reduce_local.sml
124
125 core_untangle.sig 125 core_untangle.sig
126 core_untangle.sml 126 core_untangle.sml
127 127
128 especialize.sig 128 especialize.sig
129 especialize.sml 129 especialize.sml