comparison src/compiler.sig @ 258:40c33706d887

Avoid unnecessary WHERE clause
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:32:31 -0400
parents 71bafe66dbe1
children bacd0ba869e1
comparison
equal deleted inserted replaced
257:32f9212583b2 258:40c33706d887
72 val toSpecialize : (job, Core.file) transform 72 val toSpecialize : (job, Core.file) transform
73 val toShake2 : (job, Core.file) transform 73 val toShake2 : (job, Core.file) transform
74 val toMonoize : (job, Mono.file) transform 74 val toMonoize : (job, Mono.file) transform
75 val toMono_opt1 : (job, Mono.file) transform 75 val toMono_opt1 : (job, Mono.file) transform
76 val toUntangle : (job, Mono.file) transform 76 val toUntangle : (job, Mono.file) transform
77 val toMono_reduce : (job, Mono.file) transform 77 val toMono_reduce1 : (job, Mono.file) transform
78 val toMono_shake : (job, Mono.file) transform 78 val toMono_shake1 : (job, Mono.file) transform
79 val toMono_opt2 : (job, Mono.file) transform 79 val toMono_opt2 : (job, Mono.file) transform
80 val toMono_reduce2 : (job, Mono.file) transform
81 val toMono_opt3 : (job, Mono.file) transform
82 val toMono_shake2 : (job, Mono.file) transform
80 val toCjrize : (job, Cjr.file) transform 83 val toCjrize : (job, Cjr.file) transform
81 84
82 end 85 end