enable recursion for Geb

anoma · Mar 30, 2023 · 2c36358 · 2c36358
1 parent a2591e5
commit 2c36358
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 14 deletions.
diff --git a/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs b/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs
@@ -144,7 +144,7 @@ instance PrettyCode Binop where
 
 instance PrettyCode Failure where
   ppCode Failure {..} = do
-    ty <- ppCode _failureType
+    ty <- ppArg _failureType
     return $ kwFail <+> ppStringLit _failureMessage <+> ty
 
 instance PrettyCode Var where

diff --git a/src/Juvix/Compiler/Core/Transformation/CheckGeb.hs b/src/Juvix/Compiler/Core/Transformation/CheckGeb.hs
@@ -1,7 +1,6 @@
 module Juvix.Compiler.Core.Transformation.CheckGeb where
 
 import Data.HashMap.Strict qualified as HashMap
-import Juvix.Compiler.Core.Data.IdentDependencyInfo
 import Juvix.Compiler.Core.Data.TypeDependencyInfo
 import Juvix.Compiler.Core.Error
 import Juvix.Compiler.Core.Extra
@@ -12,8 +11,7 @@ import Juvix.Data.PPOutput
 
 checkGeb :: forall r. Member (Error CoreError) r => InfoTable -> Sem r InfoTable
 checkGeb tab =
-  checkNoRecursion
-    >> checkNoRecursiveTypes
+  checkNoRecursiveTypes
     >> mapAllNodesM checkNoIO tab
     >> mapAllNodesM checkBuiltins tab
     >> mapAllNodesM checkTypes tab
@@ -82,16 +80,6 @@ checkGeb tab =
               _ -> return node
           _ -> return node
 
-    checkNoRecursion :: Sem r ()
-    checkNoRecursion =
-      when (isCyclic (createIdentDependencyInfo tab)) $
-        throw
-          CoreError
-            { _coreErrorMsg = ppOutput "recursion not supported for the GEB target",
-              _coreErrorNode = Nothing,
-              _coreErrorLoc = defaultLoc
-            }
-
     checkNoRecursiveTypes :: Sem r ()
     checkNoRecursiveTypes =
       when (isCyclic (createTypeDependencyInfo tab)) $