fix geb extension

anoma · Apr 3, 2024 · 7ba4105 · 7ba4105
1 parent 3266e74
commit 7ba4105
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/app/Commands/CompileNew/Geb.hs b/app/Commands/CompileNew/Geb.hs
@@ -17,7 +17,11 @@ runCommand opts = do
     set entryPointTarget (Just TargetGeb)
       . applyCompileCommonOptions opts'
       <$> getEntryPoint (opts' ^. compileInputFile)
-  gebFile :: Path Abs File <- getOutputFile FileExtJuvixReg inputFile moutputFile
+  let ext :: FileExt
+      ext
+        | opts ^. gebOnlyTerm = FileExtJuvixGeb
+        | otherwise = FileExtLisp
+  gebFile :: Path Abs File <- getOutputFile ext inputFile moutputFile
   let spec
         | opts ^. gebOnlyTerm = Geb.OnlyTerm
         | otherwise =

diff --git a/app/Commands/CompileNew/NativeWasiHelper/RuntimeWriter.hs b/app/Commands/CompileNew/NativeWasiHelper/RuntimeWriter.hs
@@ -1,8 +1,8 @@
 module Commands.CompileNew.NativeWasiHelper.RuntimeWriter where
 
 import Commands.Base
-import Data.FileEmbed qualified as FE
 import Data.ByteString qualified as BS
+import Data.FileEmbed qualified as FE
 import Juvix.Extra.Paths
 
 writeRuntime ::
@@ -28,5 +28,5 @@ writeRuntime runtime = do
   writeRuntimeFile runtime
   mapM_ (uncurry writeHeader) headersDir
   where
-  headersDir :: [(Path Rel File, BS.ByteString)]
-  headersDir = map (first relFile) $(FE.makeRelativeToProject "runtime/include" >>= FE.embedDir)
+    headersDir :: [(Path Rel File, BS.ByteString)]
+    headersDir = map (first relFile) $(FE.makeRelativeToProject "runtime/include" >>= FE.embedDir)