Enough to use all Geb: import Juvix.Compiler.Backend.Geb qualified as…

… Geb
anoma · Feb 8, 2023 · 7914034 · 7914034
1 parent 6544c25
commit 7914034
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/app/Commands/Dev/Geb/Repl.hs b/app/Commands/Dev/Geb/Repl.hs
@@ -120,7 +120,7 @@ runCommand _opts = do
           Right (Geb.ExpressionMorphism morphism) -> do
             let inferRes = Geb.inferObject' morphism
             case inferRes of
-              Right n -> renderOut (Geb.ppOut Geb.defaultEvaluatorOptions n)
+              Right obj -> renderOut (Geb.ppOut Geb.defaultEvaluatorOptions obj)
               Left err -> printError err
           Right _ -> liftIO . putStrLn $ "Geb object has to be a Geb object?"
 

diff --git a/src/Juvix/Compiler/Backend/Geb.hs b/src/Juvix/Compiler/Backend/Geb.hs
@@ -11,4 +11,4 @@ import Juvix.Compiler.Backend.Geb.Evaluator
 import Juvix.Compiler.Backend.Geb.Language
 import Juvix.Compiler.Backend.Geb.Pretty hiding (group, list)
 import Juvix.Compiler.Backend.Geb.Translation
-import Juvix.Compiler.Backend.Geb.Translation.FromSource.Analysis.Inference
+import Juvix.Compiler.Backend.Geb.Translation.FromSource.Analysis.Inference