Mercurial > urweb
comparison src/compiler.sml @ 2056:a9159911c3ba
New phase: Dbmodecheck
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 17 Aug 2014 13:07:56 -0400 |
parents | ced78ef1c82f |
children | 88841212f0ba |
comparison
equal
deleted
inserted
replaced
2055:7c2229aa22fc | 2056:a9159911c3ba |
---|---|
1399 print = MonoPrint.p_file MonoEnv.empty | 1399 print = MonoPrint.p_file MonoEnv.empty |
1400 } | 1400 } |
1401 | 1401 |
1402 val toScriptcheck = transform scriptcheck "scriptcheck" o toNamejs_untangle | 1402 val toScriptcheck = transform scriptcheck "scriptcheck" o toNamejs_untangle |
1403 | 1403 |
1404 val dbmodecheck = { | |
1405 func = DbModeCheck.classify, | |
1406 print = MonoPrint.p_file MonoEnv.empty | |
1407 } | |
1408 | |
1409 val toDbmodecheck = transform dbmodecheck "dbmodecheck" o toScriptcheck | |
1410 | |
1404 val jscomp = { | 1411 val jscomp = { |
1405 func = JsComp.process, | 1412 func = JsComp.process, |
1406 print = MonoPrint.p_file MonoEnv.empty | 1413 print = MonoPrint.p_file MonoEnv.empty |
1407 } | 1414 } |
1408 | 1415 |
1409 val toJscomp = transform jscomp "jscomp" o toScriptcheck | 1416 val toJscomp = transform jscomp "jscomp" o toDbmodecheck |
1410 | 1417 |
1411 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp | 1418 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp |
1412 | 1419 |
1413 val fuse = { | 1420 val fuse = { |
1414 func = Fuse.fuse, | 1421 func = Fuse.fuse, |