Mercurial > urweb
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 |