Mercurial > urweb

comparison src/compiler.sml @ 680:54ec237a3028

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Marshalcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 28 Mar 2009 11:13:36 -0400
parents a8effb6159c2
children 09df0c85f306
comparison
equal deleted inserted replaced
679:44f23712020d 680:54ec237a3028
473 print = CorePrint.p_file CoreEnv.empty 473 print = CorePrint.p_file CoreEnv.empty
474 } 474 }
475 475
476 val toTag = transform tag "tag" o toCore_untangle2 476 val toTag = transform tag "tag" o toCore_untangle2
477 477
478 val marshalcheck = {
479 func = (fn file => (MarshalCheck.check file; file)),
480 print = CorePrint.p_file CoreEnv.empty
481 }
482
483 val toMarshalcheck = transform marshalcheck "marshalcheck" o toTag
484
478 val reduce = { 485 val reduce = {
479 func = Reduce.reduce, 486 func = Reduce.reduce,
480 print = CorePrint.p_file CoreEnv.empty 487 print = CorePrint.p_file CoreEnv.empty
481 } 488 }
482 489
483 val toReduce = transform reduce "reduce" o toTag 490 val toReduce = transform reduce "reduce" o toMarshalcheck
484 491
485 val unpoly = { 492 val unpoly = {
486 func = Unpoly.unpoly, 493 func = Unpoly.unpoly,
487 print = CorePrint.p_file CoreEnv.empty 494 print = CorePrint.p_file CoreEnv.empty
488 } 495 }