From 0ea6bd1ccba2c945b12199d2b12a9ed3bb565e06 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 26 May 2012 09:16:14 -0400
Subject: Proper error messages for missing source files

---
 src/compiler.sml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3