Mercurial > urweb

comparison src/compiler.sml @ 1733:ab24a7cb2a64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'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
comparison
equal deleted inserted replaced
1732:4a03aa3251cb 1733:ab24a7cb2a64
915 last = ErrorMsg.dummyPos} 915 last = ErrorMsg.dummyPos}
916 916
917 val sgn = (Source.SgnConst (#func parseUrs urs), loc) 917 val sgn = (Source.SgnConst (#func parseUrs urs), loc)
918 in 918 in
919 checkErrors (); 919 checkErrors ();
920 (Source.DFfiStr (mname, sgn, OS.FileSys.modTime urs), loc) 920 (Source.DFfiStr (mname, sgn, if !Elaborate.incremental then SOME (OS.FileSys.modTime urs) else NONE), loc)
921 end 921 end
922 922
923 val defed = ref SS.empty 923 val defed = ref SS.empty
924 val fulls = ref SS.empty 924 val fulls = ref SS.empty
925 925
942 val loc = {file = ur, 942 val loc = {file = ur,
943 first = ErrorMsg.dummyPos, 943 first = ErrorMsg.dummyPos,
944 last = ErrorMsg.dummyPos} 944 last = ErrorMsg.dummyPos}
945 945
946 val ds = #func parseUr ur 946 val ds = #func parseUr ur
947 val d = (Source.DStr (mname, sgnO, SOME (OS.FileSys.modTime ur), (Source.StrConst ds, loc)), loc) 947 val d = (Source.DStr (mname, sgnO, if !Elaborate.incremental then SOME (OS.FileSys.modTime ur) else NONE,
948 (Source.StrConst ds, loc)), loc)
948 949
949 val fname = OS.Path.mkCanonical fname 950 val fname = OS.Path.mkCanonical fname
950 val d = case List.find (fn (root, name) => 951 val d = case List.find (fn (root, name) =>
951 String.isPrefix (root ^ "/") fname) mrs of 952 String.isPrefix (root ^ "/") fname) mrs of
952 NONE => d 953 NONE => d