summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-13 15:17:11 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-13 15:17:11 -0500
commit0d98ce87ef495ab8652327866b9a2253cbe824d7 (patch)
treea43e5082a4a3349616ad6b68329b7e363e1e7926 /src/compiler.sig
parent0d9b4b2f411af95f9a886a3b188f0b2c688be27b (diff)
Initial experiments with nested <dyn>
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig
index c156b268..b126fb51 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -107,6 +107,7 @@ signature COMPILER = sig
val toMono_opt3 : (string, Mono.file) transform
val toFuse : (string, Mono.file) transform
val toUntangle2 : (string, Mono.file) transform
+ val toMono_reduce2 : (string, Mono.file) transform
val toMono_shake2 : (string, Mono.file) transform
val toPathcheck : (string, Mono.file) transform
val toCjrize : (string, Cjr.file) transform