Fix due to smoke tests

anoma · Oct 25, 2023 · 1e34a2c · 1e34a2c
1 parent 90d6aca
commit 1e34a2c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 6 deletions.
diff --git a/app/Commands/Dev/Geb/Eval/Options.hs b/app/Commands/Dev/Geb/Eval/Options.hs
@@ -24,8 +24,7 @@ instance CanonicalProjection GebEvalOptions Geb.Options where
 
 parseGebEvalOptions :: Parser GebEvalOptions
 parseGebEvalOptions = do
-  _gebEvalOptionsInputFile <-
-    parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtJuvix])
+  _gebEvalOptionsInputFile <- parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtLisp])
   _gebEvalOptionsOutputMorphism <- optOutputMorphism
   pure GebEvalOptions {..}
 

diff --git a/app/Commands/Dev/Geb/Infer/Options.hs b/app/Commands/Dev/Geb/Infer/Options.hs
@@ -16,6 +16,5 @@ instance CanonicalProjection GebInferOptions Geb.Options where
 
 parseGebInferOptions :: Parser GebInferOptions
 parseGebInferOptions = do
-  _gebInferOptionsInputFile <-
-    (parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtJuvix]))
+  _gebInferOptionsInputFile <- parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtLisp])
   pure GebInferOptions {..}
diff --git a/app/Commands/Dev/Geb/Read/Options.hs b/app/Commands/Dev/Geb/Read/Options.hs
@@ -17,5 +17,5 @@ instance CanonicalProjection GebReadOptions Geb.Options where
 parseGebReadOptions :: Parser GebReadOptions
 parseGebReadOptions = do
   _gebReadOptionsInputFile <-
-    parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtJuvix])
+    parseInputFiles (NonEmpty.fromList [FileExtJuvixGeb, FileExtLisp])
   pure GebReadOptions {..}
diff --git a/src/Juvix/Extra/Paths.hs b/src/Juvix/Extra/Paths.hs
@@ -4,6 +4,7 @@ module Juvix.Extra.Paths
   )
 where
 
+import Juvix.Data.FileExt
 import Juvix.Extra.Paths.Base
 import Juvix.Prelude.Base
 import Juvix.Prelude.Path
@@ -40,4 +41,4 @@ formatStdinPath :: Path Abs File
 formatStdinPath = $(mkAbsFile "/format-stdin")
 
 gebReplPath :: Path Abs File
-gebReplPath = $(mkAbsFile "/gebrepl")
+gebReplPath = $(mkAbsFile ("/repl" <> juvixGebFileExt))