diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-03-30 17:42:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-03-30 17:42:13 -0400 |
| commit | 8e561ed471518c426c59f210f5ea07d4f178cbe5 (patch) | |
| tree | 65882d8388bac00b96168bfce279943638a54453 | |
| parent | d51f7f2770858713204b7e670119090a26c9f194 (diff) | |
Ensure compilation fails even if the only problem is a missing source file
| -rw-r--r-- | src/compiler.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index aad5ce8c..0aba3a40 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1200,6 +1200,7 @@ val parse = { else (); ErrorMsg.error ("Missing source file: " ^ fname); + anyErrors := true; (Source.DSequence "", ErrorMsg.dummySpan)) val dsFfi = map parseFfi ffi |