Mercurial > urweb

comparison src/compiler.sml @ 325:e457d8972ff1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud listing IDs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 17:41:52 -0400
parents 6a4e365db60c
children a94a79820d49
comparison
equal deleted inserted replaced
324:b91480c9a729 325:e457d8972ff1
353 val toParse = transform parse "parse" o toParseJob 353 val toParse = transform parse "parse" o toParseJob
354 354
355 val elaborate = { 355 val elaborate = {
356 func = fn file => let 356 func = fn file => let
357 val basis = #func parseUrs "lib/basis.urs" 357 val basis = #func parseUrs "lib/basis.urs"
358 in 358 val topSgn = #func parseUrs "lib/top.urs"
359 Elaborate.elabFile basis ElabEnv.empty file 359 val topStr = #func parseUr "lib/top.ur"
360 in
361 Elaborate.elabFile basis topStr topSgn ElabEnv.empty file
360 end, 362 end,
361 print = ElabPrint.p_file ElabEnv.empty 363 print = ElabPrint.p_file ElabEnv.empty
362 } 364 }
363 365
364 val toElaborate = transform elaborate "elaborate" o toParse 366 val toElaborate = transform elaborate "elaborate" o toParse