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/elaborate.sig | |
| parent | a0efdaf11337df1fb1a5478f9a193a2737b2665b (diff) | |
Use elabFile completely instead of rebuilding it partially
Diffstat (limited to 'src/elaborate.sig')
| -rw-r--r-- | src/elaborate.sig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/elaborate.sig b/src/elaborate.sig index 88ea068f..d6747241 100644 --- a/src/elaborate.sig +++ b/src/elaborate.sig @@ -29,7 +29,10 @@ signature ELABORATE = sig val elabFile : Source.sgn_item list -> Time.time -> Source.decl list -> Source.sgn_item list -> Time.time - -> ElabEnv.env -> Source.file -> Elab.file + -> ElabEnv.env + -> (ElabEnv.env -> ElabEnv.env) (* Adapt env after stdlib but before elaborate *) + -> Source.file + -> Elab.file val resolveClass : ElabEnv.env -> Elab.con -> Elab.exp option |