diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 17:41:52 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 17:41:52 -0400 |
commit | 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 (patch) | |
tree | 22ffe528ac30aa133fde37ddcafb13a92cd22357 /src/compiler.sml | |
parent | 05fbd01cabc967d7216d8cbe701ac10ad797b122 (diff) |
Crud listing IDs
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index b2f5fc96..569980f4 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -355,8 +355,10 @@ val toParse = transform parse "parse" o toParseJob val elaborate = { func = fn file => let val basis = #func parseUrs "lib/basis.urs" + val topSgn = #func parseUrs "lib/top.urs" + val topStr = #func parseUr "lib/top.ur" in - Elaborate.elabFile basis ElabEnv.empty file + Elaborate.elabFile basis topStr topSgn ElabEnv.empty file end, print = ElabPrint.p_file ElabEnv.empty } |