Mercurial > urweb

comparison src/compiler.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents 7c3c21eb5b4c
children 47947d6e9750
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
444 print = CorePrint.p_file CoreEnv.empty 444 print = CorePrint.p_file CoreEnv.empty
445 } 445 }
446 446
447 val toShake1 = transform shake "shake1" o toCore_untangle 447 val toShake1 = transform shake "shake1" o toCore_untangle
448 448
449 val rpcify = {
450 func = Rpcify.frob,
451 print = CorePrint.p_file CoreEnv.empty
452 }
453
454 val toRpcify = transform rpcify "rpcify" o toShake1
455
449 val tag = { 456 val tag = {
450 func = Tag.tag, 457 func = Tag.tag,
451 print = CorePrint.p_file CoreEnv.empty 458 print = CorePrint.p_file CoreEnv.empty
452 } 459 }
453 460
454 val toTag = transform tag "tag" o toShake1 461 val toTag = transform tag "tag" o toRpcify
455 462
456 val reduce = { 463 val reduce = {
457 func = Reduce.reduce, 464 func = Reduce.reduce,
458 print = CorePrint.p_file CoreEnv.empty 465 print = CorePrint.p_file CoreEnv.empty
459 } 466 }