Mercurial > urweb

comparison src/compiler.sml @ 625:47947d6e9750

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Turned off termination checking, for now
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:33:55 -0500
parents 0dd40b6bfdf3
children 4a125bbc602d
comparison
equal deleted inserted replaced
624:354800878b4d 625:47947d6e9750
407 val explify = { 407 val explify = {
408 func = Explify.explify, 408 func = Explify.explify,
409 print = ExplPrint.p_file ExplEnv.empty 409 print = ExplPrint.p_file ExplEnv.empty
410 } 410 }
411 411
412 val toExplify = transform explify "explify" o toTermination 412 val toExplify = transform explify "explify" o toUnnest
413 413
414 val corify = { 414 val corify = {
415 func = Corify.corify, 415 func = Corify.corify,
416 print = CorePrint.p_file CoreEnv.empty 416 print = CorePrint.p_file CoreEnv.empty
417 } 417 }