Mercurial > urweb

comparison src/compiler.sml @ 482:9117a7bf229c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize working reasonably well; need to add new closure representation pass
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 11:53:52 -0500
parents 04b91c33ef54
children 685b41e85634
comparison
equal deleted inserted replaced
481:2280193bf298 482:9117a7bf229c
409 print = CorePrint.p_file CoreEnv.empty 409 print = CorePrint.p_file CoreEnv.empty
410 } 410 }
411 411
412 val toCorify = transform corify "corify" o toExplify 412 val toCorify = transform corify "corify" o toExplify
413 413
414 (*val reduce_local = {
415 func = ReduceLocal.reduce,
416 print = CorePrint.p_file CoreEnv.empty
417 }
418
419 val toReduce_local = transform reduce_local "reduce_local" o toCorify*)
420
414 val especialize = { 421 val especialize = {
415 func = ESpecialize.specialize, 422 func = ESpecialize.specialize,
416 print = CorePrint.p_file CoreEnv.empty 423 print = CorePrint.p_file CoreEnv.empty
417 } 424 }
418 425