From 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Sep 2008 17:41:52 -0400 Subject: Crud listing IDs --- src/compiler.sml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/compiler.sml') 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 } -- cgit v1.2.3