diff options
| -rw-r--r-- | src/compiler.sml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index bd6ef493..477c8fa4 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -905,6 +905,8 @@ end structure SS = BinarySetFn(SK) structure SM = BinaryMapFn(SK) +exception MissingFile of string + val parse = { func = fn {database, sources = fnames, ffi, onError, ...} : job => let @@ -950,6 +952,11 @@ val parse = { val ur = OS.Path.joinBaseExt {base = fname, ext = SOME "ur"} val urs = OS.Path.joinBaseExt {base = fname, ext = SOME "urs"} + val () = if Posix.FileSys.access (ur, []) then + () + else + raise MissingFile ur + val sgnO = if Posix.FileSys.access (urs, []) then SOME (Source.SgnConst (#func parseUrs urs), @@ -1062,7 +1069,8 @@ val parse = { in checkErrors (); d - end + end handle MissingFile fname => (ErrorMsg.error ("Missing source file: " ^ fname); + (Source.DSequence "", ErrorMsg.dummySpan)) val dsFfi = map parseFfi ffi val ds = map parseOne fnames |