downsweep: Allow TargetFile not to exist when a buffer is given
authorDaniel Gröber <dxld@darkboxed.org>
Mon, 20 May 2019 10:17:36 +0000 (12:17 +0200)
committerBen Gamari <ben@well-typed.com>
Tue, 4 Jun 2019 03:42:11 +0000 (23:42 -0400)
Currently 'getRootSummary' will fail with an exception if a 'TargetFile' is
given but it does not exist even if an input buffer is passed along for
this target.

In this case it is not necessary for the file to exist since the buffer
will be used as input for the compilation pipeline instead of the file
anyways.

compiler/main/GhcMake.hs
compiler/main/HscTypes.hs
testsuite/tests/ghc-api/target-contents/TargetContents.hs
testsuite/tests/ghc-api/target-contents/TargetContents.stderr

index 5c76f28..9a4911f 100644 (file)
@@ -1968,7 +1968,7 @@ downsweep hsc_env old_summaries excl_mods allow_dup_roots
         getRootSummary :: Target -> IO (Either ErrMsg ModSummary)
         getRootSummary (Target (TargetFile file mb_phase) obj_allowed maybe_buf)
            = do exists <- liftIO $ doesFileExist file
-                if exists
+                if exists || isJust maybe_buf
                     then Right `fmap` summariseFile hsc_env old_summaries file mb_phase
                                        obj_allowed maybe_buf
                     else return $ Left $ mkPlainErrMsg dflags noSrcSpan $
index 88edccf..b29143a 100644 (file)
@@ -505,6 +505,11 @@ data Target
       --
       -- Since GHC version 8.10 modules which require preprocessors such as
       -- Literate Haskell or CPP to run are also supported.
+      --
+      -- If a corresponding source file does not exist on disk this will
+      -- result in a 'SourceError' exception if @targetId = TargetModule _@
+      -- is used. However together with @targetId = TargetFile _@ GHC will
+      -- not complain about the file missing.
     }
 
 data TargetId
index db02dbd..eaa3069 100644 (file)
@@ -90,8 +90,7 @@ main = do
 
 data Sync
     = OnDisk   -- | Write generated module to disk
-    | InMemory -- | Only fill targetContents, place an empty dummy module
-               -- on disk though to make Finder shut up though.
+    | InMemory -- | Only fill in targetContents.
 
 ppSync OnDisk   = "D"
 ppSync InMemory = "M"
index b0a363c..2743f51 100644 (file)
@@ -3,8 +3,6 @@
 A.hs:3:5: error: Variable not in scope: z
 == CPP_D
 == CPP_M
-can't find file: A.hs
-
 == Dep_DD_AB
 == Dep_Error_DD_AB
 
@@ -13,33 +11,27 @@ B.hs:3:5: error: Variable not in scope: z
 
 B.hs:3:5: error: Variable not in scope: z
 == Dep_MM_AB
-can't find file: A.hs
-can't find file: B.hs
-
 == Dep_Error_MM_AB
-can't find file: A.hs
-can't find file: B.hs
 
+B.hs:3:5: error: Variable not in scope: z
 == Dep_Error_MM_A
-can't find file: A.hs
 
+A.hs:3:1: error:
+    Could not find module ‘B’
+    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
 == Dep_DM_AB
-can't find file: B.hs
-
 == Dep_Error_DM_AB
-can't find file: B.hs
 
+B.hs:3:5: error: Variable not in scope: z
 == Dep_Error_DM_A
 
 A.hs:3:1: error:
     Could not find module ‘B’
     Use -v (or `:set -v` in ghci) to see a list of the files searched for.
 == Dep_MD_AB
-can't find file: A.hs
-
 == Dep_Error_MD_AB
-can't find file: A.hs
 
+B.hs:3:5: error: Variable not in scope: z
 == Dep_Error_MD_A
-can't find file: A.hs
 
+B.hs:3:5: error: Variable not in scope: z