From e230d565f1f0604eee2c964dab5374d07c24ed6d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Aug 2014 13:07:56 -0400 Subject: New phase: Dbmodecheck --- src/compiler.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'src/compiler.sig') 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 -- cgit v1.2.3