diff options
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index d74da2a6..b433a7b6 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -558,12 +558,19 @@ val cjrize = { val toCjrize = transform cjrize "cjrize" o toPathcheck +val scriptcheck = { + func = ScriptCheck.classify, + print = CjrPrint.p_file CjrEnv.empty +} + +val toScriptcheck = transform scriptcheck "scriptcheck" o toCjrize + val prepare = { func = Prepare.prepare, print = CjrPrint.p_file CjrEnv.empty } -val toPrepare = transform prepare "prepare" o toCjrize +val toPrepare = transform prepare "prepare" o toScriptcheck val sqlify = { func = Cjrize.cjrize, |