Mercurial > urweb

comparison src/compiler.sml @ 313:e0ed0d4dabc9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Termination checking
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Sep 2008 11:46:33 -0400
parents 59dc042629b9
children e21d0dddda09
comparison
equal deleted inserted replaced
312:f387d12193ba 313:e0ed0d4dabc9
361 print = ElabPrint.p_file ElabEnv.empty 361 print = ElabPrint.p_file ElabEnv.empty
362 } 362 }
363 363
364 val toElaborate = transform elaborate "elaborate" o toParse 364 val toElaborate = transform elaborate "elaborate" o toParse
365 365
366 val termination = {
367 func = (fn file => (Termination.check file; file)),
368 print = ElabPrint.p_file ElabEnv.empty
369 }
370
371 val toTermination = transform termination "termination" o toElaborate
372
366 val explify = { 373 val explify = {
367 func = Explify.explify, 374 func = Explify.explify,
368 print = ExplPrint.p_file ExplEnv.empty 375 print = ExplPrint.p_file ExplEnv.empty
369 } 376 }
370 377
371 val toExplify = transform explify "explify" o toElaborate 378 val toExplify = transform explify "explify" o toTermination
372 379
373 val corify = { 380 val corify = {
374 func = Corify.corify, 381 func = Corify.corify,
375 print = CorePrint.p_file CoreEnv.empty 382 print = CorePrint.p_file CoreEnv.empty
376 } 383 }