Allow PrimString type in Anoma so that builtin fail is supported

anoma · Feb 21, 2024 · a3d888d · a3d888d
1 parent ed20e7e
commit a3d888d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Juvix/Compiler/Core/Transformation/Check/Anoma.hs b/src/Juvix/Compiler/Core/Transformation/Check/Anoma.hs
@@ -6,8 +6,8 @@ import Juvix.Compiler.Core.Transformation.Base
 import Juvix.Compiler.Core.Transformation.Check.Base
 
 checkAnoma :: forall r. (Member (Error CoreError) r) => Module -> Sem r Module
-checkAnoma md =
+checkAnoma md = do
   checkMainExists md
-    >> checkNoAxioms md
-    >> mapAllNodesM checkNoIO md
-    >> mapAllNodesM (checkBuiltins' [OpStrConcat, OpStrToInt, OpShow] [PrimString]) md
+  checkNoAxioms md
+  mapAllNodesM checkNoIO md
+  mapAllNodesM (checkBuiltins' [OpStrConcat, OpStrToInt, OpShow] []) md