fix imports on stdin

anoma · Dec 21, 2023 · 9cc0f78 · 9cc0f78
1 parent 43baaf0
commit 9cc0f78
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/src/Juvix/Compiler/Pipeline/Driver.hs b/src/Juvix/Compiler/Pipeline/Driver.hs
@@ -139,11 +139,7 @@ processImport' ::
 processImport' entry p = do
   checkCycle
   local (over importParents (p :)) $
-    withPath'
-      p
-      ( \path ->
-          cacheGet (EntryIndex entry {_entryPointModulePath = Just path})
-      )
+    withPath' p getCachedImport
   where
     checkCycle :: Sem r ()
     checkCycle = do
@@ -155,6 +151,15 @@ processImport' entry p = do
            in mapError (JuvixError @ScoperError) $
                 throw (ErrImportCycle (ImportCycle cyc))
 
+    getCachedImport :: Path Abs File -> Sem r (PipelineResult Store.ModuleInfo)
+    getCachedImport path = cacheGet (EntryIndex entry')
+      where
+        entry' =
+          entry
+            { _entryPointStdin = Nothing,
+              _entryPointModulePath = Just path
+            }
+
 processFileToStoredCore' ::
   forall r.
   (Members '[Reader ImportParents, Error JuvixError, Files, GitClone, PathResolver, MCache] r) =>