Mercurial > urweb
diff src/compiler.sml @ 1733:ab24a7cb2a64
'urweb daemon start' and 'urweb daemon stop'
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 29 Apr 2012 16:23:03 -0400 |
| parents | 4a03aa3251cb |
| children | 1a35e75b6967 |
line wrap: on
line diff
--- a/src/compiler.sml Sun Apr 29 13:17:31 2012 -0400 +++ b/src/compiler.sml Sun Apr 29 16:23:03 2012 -0400 @@ -917,7 +917,7 @@ val sgn = (Source.SgnConst (#func parseUrs urs), loc) in checkErrors (); - (Source.DFfiStr (mname, sgn, OS.FileSys.modTime urs), loc) + (Source.DFfiStr (mname, sgn, if !Elaborate.incremental then SOME (OS.FileSys.modTime urs) else NONE), loc) end val defed = ref SS.empty @@ -944,7 +944,8 @@ last = ErrorMsg.dummyPos} val ds = #func parseUr ur - val d = (Source.DStr (mname, sgnO, SOME (OS.FileSys.modTime ur), (Source.StrConst ds, loc)), loc) + val d = (Source.DStr (mname, sgnO, if !Elaborate.incremental then SOME (OS.FileSys.modTime ur) else NONE, + (Source.StrConst ds, loc)), loc) val fname = OS.Path.mkCanonical fname val d = case List.find (fn (root, name) =>