Mercurial > urweb

comparison src/compiler.sml @ 1845:c1e3805e604e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -0400
parents 05e3365292cd
children bcae365efa85
comparison
equal deleted inserted replaced
1844:2c5e6f78560c 1845:c1e3805e604e
1361 1361
1362 val toNamejs = transform namejs "namejs" o toIflow 1362 val toNamejs = transform namejs "namejs" o toIflow
1363 1363
1364 val toNamejs_untangle = transform untangle "namejs_untangle" o toNamejs 1364 val toNamejs_untangle = transform untangle "namejs_untangle" o toNamejs
1365 1365
1366 val scriptcheck = {
1367 func = ScriptCheck.classify,
1368 print = MonoPrint.p_file MonoEnv.empty
1369 }
1370
1371 val toScriptcheck = transform scriptcheck "scriptcheck" o toNamejs_untangle
1372
1366 val jscomp = { 1373 val jscomp = {
1367 func = JsComp.process, 1374 func = JsComp.process,
1368 print = MonoPrint.p_file MonoEnv.empty 1375 print = MonoPrint.p_file MonoEnv.empty
1369 } 1376 }
1370 1377
1371 val toJscomp = transform jscomp "jscomp" o toNamejs_untangle 1378 val toJscomp = transform jscomp "jscomp" o toScriptcheck
1372 1379
1373 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp 1380 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp
1374 1381
1375 val fuse = { 1382 val fuse = {
1376 func = Fuse.fuse, 1383 func = Fuse.fuse,
1408 print = CjrPrint.p_file CjrEnv.empty 1415 print = CjrPrint.p_file CjrEnv.empty
1409 } 1416 }
1410 1417
1411 val toCjrize = transform cjrize "cjrize" o toSidecheck 1418 val toCjrize = transform cjrize "cjrize" o toSidecheck
1412 1419
1413 val scriptcheck = {
1414 func = ScriptCheck.classify,
1415 print = CjrPrint.p_file CjrEnv.empty
1416 }
1417
1418 val toScriptcheck = transform scriptcheck "scriptcheck" o toCjrize
1419
1420 val prepare = { 1420 val prepare = {
1421 func = Prepare.prepare, 1421 func = Prepare.prepare,
1422 print = CjrPrint.p_file CjrEnv.empty 1422 print = CjrPrint.p_file CjrEnv.empty
1423 } 1423 }
1424 1424
1425 val toPrepare = transform prepare "prepare" o toScriptcheck 1425 val toPrepare = transform prepare "prepare" o toCjrize
1426 1426
1427 val checknest = { 1427 val checknest = {
1428 func = fn f => if #supportsNestedPrepared (Settings.currentDbms ()) then f else Checknest.annotate f, 1428 func = fn f => if #supportsNestedPrepared (Settings.currentDbms ()) then f else Checknest.annotate f,
1429 print = CjrPrint.p_file CjrEnv.empty 1429 print = CjrPrint.p_file CjrEnv.empty
1430 } 1430 }