fix compilation

anoma · Sep 10, 2024 · dc7d318 · dc7d318
1 parent 37432a8
commit dc7d318
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Core/Extra/Utils.hs b/src/Juvix/Compiler/Core/Extra/Utils.hs
@@ -188,6 +188,7 @@ containsDebugOperations = ufold (\x xs -> x || or xs) isDebugOp
           OpTrace -> True
           OpFail -> True
           OpSeq -> True
+          OpAssert -> False
           OpAnomaByteArrayFromAnomaContents -> False
           OpAnomaByteArrayToAnomaContents -> False
           OpAnomaDecode -> False
@@ -466,6 +467,7 @@ builtinOpArgTypes = \case
   OpShow -> [mkDynamic']
   OpStrConcat -> [mkTypeString', mkTypeString']
   OpStrToInt -> [mkTypeString']
+  OpAssert -> [mkTypeBool']
   OpSeq -> [mkDynamic', mkDynamic']
   OpTrace -> [mkDynamic']
   OpFail -> [mkTypeString']