Mercurial > urweb

comparison src/compiler.sml @ 448:85819353a84f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First Unnest tests working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 15:58:55 -0400
parents bd9ee9aeca2f
children 9163f8014f9b
comparison
equal deleted inserted replaced
447:b77863cd0be2 448:85819353a84f
381 print = ElabPrint.p_file ElabEnv.empty 381 print = ElabPrint.p_file ElabEnv.empty
382 } 382 }
383 383
384 val toElaborate = transform elaborate "elaborate" o toParse 384 val toElaborate = transform elaborate "elaborate" o toParse
385 385
386 val unnest = {
387 func = Unnest.unnest,
388 print = ElabPrint.p_file ElabEnv.empty
389 }
390
391 val toUnnest = transform unnest "unnest" o toElaborate
392
386 val termination = { 393 val termination = {
387 func = (fn file => (Termination.check file; file)), 394 func = (fn file => (Termination.check file; file)),
388 print = ElabPrint.p_file ElabEnv.empty 395 print = ElabPrint.p_file ElabEnv.empty
389 } 396 }
390 397
391 val toTermination = transform termination "termination" o toElaborate 398 val toTermination = transform termination "termination" o toUnnest
392 399
393 val explify = { 400 val explify = {
394 func = Explify.explify, 401 func = Explify.explify,
395 print = ExplPrint.p_file ExplEnv.empty 402 print = ExplPrint.p_file ExplEnv.empty
396 } 403 }