summaryrefslogtreecommitdiff
path: root/src/compiler.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler.sml')
-rw-r--r--src/compiler.sml4
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
}