Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/compiler.sig Sun Aug 31 15:18:00 2008 -0400 +++ b/src/compiler.sig Sun Aug 31 15:32:31 2008 -0400 @@ -74,9 +74,12 @@ val toMonoize : (job, Mono.file) transform val toMono_opt1 : (job, Mono.file) transform val toUntangle : (job, Mono.file) transform - val toMono_reduce : (job, Mono.file) transform - val toMono_shake : (job, Mono.file) transform + val toMono_reduce1 : (job, Mono.file) transform + val toMono_shake1 : (job, Mono.file) transform val toMono_opt2 : (job, Mono.file) transform + val toMono_reduce2 : (job, Mono.file) transform + val toMono_opt3 : (job, Mono.file) transform + val toMono_shake2 : (job, Mono.file) transform val toCjrize : (job, Cjr.file) transform end