diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
commit | 31d4626ce7c03b354706c6b369fdce35a83a944b (patch) | |
tree | e8dd9defb6693cf3a9e153494da978d2391854c2 /src/compiler.sig | |
parent | 089789ea474499ba2e347bc7de7954303d54d8b2 (diff) |
New phase: Dbmodecheck
Diffstat (limited to 'src/compiler.sig')
-rw-r--r-- | src/compiler.sig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index fa131cf4..d74ec533 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -172,6 +172,7 @@ signature COMPILER = sig val toNamejs : (string, Mono.file) transform val toNamejs_untangle : (string, Mono.file) transform val toScriptcheck : (string, Mono.file) transform + val toDbmodecheck : (string, Mono.file) transform val toJscomp : (string, Mono.file) transform val toMono_opt3 : (string, Mono.file) transform val toFuse : (string, Mono.file) transform |