diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-03-12 14:11:27 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-03-12 14:11:27 -0500 |
| commit | 6b85dbb54d5d9928a53f0f916cf0cb33c04ff87c (patch) | |
| tree | 0215bd5985818f74a20c8bc37867e7ee234b0570 /src/sqlcache.sml | |
| parent | d2823e60805a6cc394b149563ff500ea969b8627 (diff) | |
Sqlcache: also record script additions; do a MonoReduce afterward, to help Prepare do a better job
Diffstat (limited to 'src/sqlcache.sml')
| -rw-r--r-- | src/sqlcache.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml index 570c7d45..c97daac2 100644 --- a/src/sqlcache.sml +++ b/src/sqlcache.sml @@ -1724,8 +1724,9 @@ fun go file = (* Important that this happens after [MonoFooify.urlify] calls! *) val fmDecls = MonoFooify.getNewFmDecls () val () = Sql.sqlcacheMode := false + val file = insertAfterDatatypes (file, rev fmDecls) in - insertAfterDatatypes (file, rev fmDecls) + MonoReduce.reduce file end end |