Mercurial > urweb

comparison src/compiler.sml @ 315:e21d0dddda09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unpoly non-recursive function
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 09:36:47 -0400
parents e0ed0d4dabc9
children 6a4e365db60c
comparison
equal deleted inserted replaced
314:a07f476d9b61 315:e21d0dddda09
403 print = CorePrint.p_file CoreEnv.empty 403 print = CorePrint.p_file CoreEnv.empty
404 } 404 }
405 405
406 val toReduce = transform reduce "reduce" o toTag 406 val toReduce = transform reduce "reduce" o toTag
407 407
408 val unpoly = {
409 func = Unpoly.unpoly,
410 print = CorePrint.p_file CoreEnv.empty
411 }
412
413 val toUnpoly = transform unpoly "unpoly" o toReduce
414
408 val specialize = { 415 val specialize = {
409 func = Specialize.specialize, 416 func = Specialize.specialize,
410 print = CorePrint.p_file CoreEnv.empty 417 print = CorePrint.p_file CoreEnv.empty
411 } 418 }
412 419
413 val toSpecialize = transform specialize "specialize" o toReduce 420 val toSpecialize = transform specialize "specialize" o toUnpoly
414 421
415 val toShake2 = transform shake "shake2" o toSpecialize 422 val toShake2 = transform shake "shake2" o toSpecialize
416 423
417 val monoize = { 424 val monoize = {
418 func = Monoize.monoize CoreEnv.empty, 425 func = Monoize.monoize CoreEnv.empty,