comparison src/compiler.sig @ 1017:34ba25d6af3b

Inlining threshold for Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 12:48:50 -0400
parents 2831be2daf2e
children dfe34fad749d
comparison
equal deleted inserted replaced
1016:065ce3252090 1017:34ba25d6af3b
137 val toFuse : (string, Mono.file) transform 137 val toFuse : (string, Mono.file) transform
138 val toUntangle2 : (string, Mono.file) transform 138 val toUntangle2 : (string, Mono.file) transform
139 val toMono_reduce2 : (string, Mono.file) transform 139 val toMono_reduce2 : (string, Mono.file) transform
140 val toMono_shake2 : (string, Mono.file) transform 140 val toMono_shake2 : (string, Mono.file) transform
141 val toMono_opt4 : (string, Mono.file) transform 141 val toMono_opt4 : (string, Mono.file) transform
142 val toMono_reduce3 : (string, Mono.file) transform
142 val toFuse2 : (string, Mono.file) transform 143 val toFuse2 : (string, Mono.file) transform
143 val toUntangle3 : (string, Mono.file) transform 144 val toUntangle3 : (string, Mono.file) transform
144 val toMono_shake3 : (string, Mono.file) transform 145 val toMono_shake3 : (string, Mono.file) transform
145 val toPathcheck : (string, Mono.file) transform 146 val toPathcheck : (string, Mono.file) transform
146 val toCjrize : (string, Cjr.file) transform 147 val toCjrize : (string, Cjr.file) transform