comparison src/compiler.sml @ 2294:f8903af753ff

Support nested queries but disable UrFlow for now.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 01:59:00 -0500
parents 2b1af5dc6dee
children 6fb9232ade99
comparison
equal deleted inserted replaced
2293:8be54d7bd06e 2294:f8903af753ff
1370 1370
1371 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce 1371 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce
1372 1372
1373 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake 1373 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
1374 1374
1375 (*
1375 val iflow = { 1376 val iflow = {
1376 func = (fn file => (if !doIflow then Iflow.check file else (); file)), 1377 func = (fn file => (if !doIflow then Iflow.check file else (); file)),
1377 print = MonoPrint.p_file MonoEnv.empty 1378 print = MonoPrint.p_file MonoEnv.empty
1378 } 1379 }
1379 1380
1380 val toIflow = transform iflow "iflow" o toMono_opt2 1381 val toIflow = transform iflow "iflow" o toMono_opt2
1382 *)
1381 1383
1382 val namejs = { 1384 val namejs = {
1383 func = NameJS.rewrite, 1385 func = NameJS.rewrite,
1384 print = MonoPrint.p_file MonoEnv.empty 1386 print = MonoPrint.p_file MonoEnv.empty
1385 } 1387 }
1386 1388
1387 val toNamejs = transform namejs "namejs" o toIflow 1389 val toNamejs = transform namejs "namejs" o toMono_opt2
1388 1390
1389 val toNamejs_untangle = transform untangle "namejs_untangle" o toNamejs 1391 val toNamejs_untangle = transform untangle "namejs_untangle" o toNamejs
1390 1392
1391 val scriptcheck = { 1393 val scriptcheck = {
1392 func = ScriptCheck.classify, 1394 func = ScriptCheck.classify,