diff options
author | Simon Van Casteren <simon.van.casteren@gmail.com> | 2019-12-11 13:58:01 +0100 |
---|---|---|
committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
commit | 25b0685cefe772c73562665a4cc8d2d40e5ff600 (patch) | |
tree | d5b3b383267e8f44bb32881b04839623e3becee3 /src/compiler.sml | |
parent | a0efdaf11337df1fb1a5478f9a193a2737b2665b (diff) |
Use elabFile completely instead of rebuilding it partially
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index fab939f9..ab7b86b4 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1283,7 +1283,7 @@ val elaborate = { in Elaborate.elabFile basis (OS.FileSys.modTime basisF) topStr topSgn (if Time.< (tm1, tm2) then tm2 else tm1) - ElabEnv.empty file + ElabEnv.empty (fn env => env) file end, print = ElabPrint.p_file ElabEnv.empty } |