diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-25 10:05:44 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-25 10:05:44 -0500 |
commit | 940865b04fa534983982b261386a3b1926bd5531 (patch) | |
tree | fc3097de1fda1a8cf47dbbeaddc9dc1df9ba6035 /src/compiler.sig | |
parent | 261ebaa5168b307ad38825c95d60c5bea5d9858f (diff) |
Fusing writes with recursive function calls
Diffstat (limited to 'src/compiler.sig')
-rw-r--r-- | src/compiler.sig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index af086675..8c52ea32 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -76,6 +76,7 @@ signature COMPILER = sig val untangle : (Mono.file, Mono.file) phase val mono_reduce : (Mono.file, Mono.file) phase val mono_shake : (Mono.file, Mono.file) phase + val fuse : (Mono.file, Mono.file) phase val pathcheck : (Mono.file, Mono.file) phase val cjrize : (Mono.file, Cjr.file) phase val prepare : (Cjr.file, Cjr.file) phase @@ -104,6 +105,9 @@ signature COMPILER = sig val toMono_reduce : (string, Mono.file) transform val toMono_shake : (string, Mono.file) transform val toMono_opt2 : (string, Mono.file) transform + val toFuse : (string, Mono.file) transform + val toUntangle2 : (string, Mono.file) transform + val toMono_shake2 : (string, Mono.file) transform val toPathcheck : (string, Mono.file) transform val toCjrize : (string, Cjr.file) transform val toPrepare : (string, Cjr.file) transform |