Mercurial > urweb

comparison src/compiler.sml @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 09df0c85f306
children f2a2be93331c
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
503 print = CorePrint.p_file CoreEnv.empty 503 print = CorePrint.p_file CoreEnv.empty
504 } 504 }
505 505
506 val toMarshalcheck = transform marshalcheck "marshalcheck" o toShake3 506 val toMarshalcheck = transform marshalcheck "marshalcheck" o toShake3
507 507
508 val effectize = {
509 func = Effective.effectize,
510 print = CorePrint.p_file CoreEnv.empty
511 }
512
513 val toEffectize = transform effectize "effectize" o toMarshalcheck
514
508 val monoize = { 515 val monoize = {
509 func = Monoize.monoize CoreEnv.empty, 516 func = Monoize.monoize CoreEnv.empty,
510 print = MonoPrint.p_file MonoEnv.empty 517 print = MonoPrint.p_file MonoEnv.empty
511 } 518 }
512 519
513 val toMonoize = transform monoize "monoize" o toMarshalcheck 520 val toMonoize = transform monoize "monoize" o toEffectize
514 521
515 val mono_opt = { 522 val mono_opt = {
516 func = MonoOpt.optimize, 523 func = MonoOpt.optimize,
517 print = MonoPrint.p_file MonoEnv.empty 524 print = MonoPrint.p_file MonoEnv.empty
518 } 525 }