diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-08 10:18:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-08 10:18:19 -0400 |
| commit | d07c91bf275874a5f6f13af5f338def78eea7ae0 (patch) | |
| tree | 700a022259cb238d022c76cb0b6c30fb44985aed /src/compiler.sig | |
| parent | 815c52605cdba3c95d7e4e6fd3f1eddf0939bc6a (diff) | |
dragList almost kinda works
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 73605d7c..7ce19580 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -136,6 +136,10 @@ signature COMPILER = sig val toUntangle2 : (string, Mono.file) transform val toMono_reduce2 : (string, Mono.file) transform val toMono_shake2 : (string, Mono.file) transform + val toMono_opt4 : (string, Mono.file) transform + val toFuse2 : (string, Mono.file) transform + val toUntangle3 : (string, Mono.file) transform + val toMono_shake3 : (string, Mono.file) transform val toPathcheck : (string, Mono.file) transform val toCjrize : (string, Cjr.file) transform val toScriptcheck : (string, Cjr.file) transform |