Mercurial > urweb

comparison src/compiler.sml @ 454:9163f8014f9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nested save compiles
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 21:24:43 -0400
parents 85819353a84f
children 360cbc202756
comparison
equal deleted inserted replaced
453:787d4931fb07 454:9163f8014f9b
416 print = CorePrint.p_file CoreEnv.empty 416 print = CorePrint.p_file CoreEnv.empty
417 } 417 }
418 418
419 val toEspecialize = transform especialize "especialize" o toCorify 419 val toEspecialize = transform especialize "especialize" o toCorify
420 420
421 val core_untangle = {
422 func = CoreUntangle.untangle,
423 print = CorePrint.p_file CoreEnv.empty
424 }
425
426 val toCore_untangle = transform core_untangle "core_untangle" o toEspecialize
427
421 val shake = { 428 val shake = {
422 func = Shake.shake, 429 func = Shake.shake,
423 print = CorePrint.p_file CoreEnv.empty 430 print = CorePrint.p_file CoreEnv.empty
424 } 431 }
425 432
426 val toShake1 = transform shake "shake1" o toEspecialize 433 val toShake1 = transform shake "shake1" o toCore_untangle
427 434
428 val tag = { 435 val tag = {
429 func = Tag.tag, 436 func = Tag.tag,
430 print = CorePrint.p_file CoreEnv.empty 437 print = CorePrint.p_file CoreEnv.empty
431 } 438 }