From dc7d3180e580e8d1b49bce2de369b722bd77c3c9 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Tue, 10 Sep 2024 10:35:25 +0200
Subject: [PATCH] fix compilation

---
 src/Juvix/Compiler/Core/Extra/Utils.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Juvix/Compiler/Core/Extra/Utils.hs b/src/Juvix/Compiler/Core/Extra/Utils.hs
index 4eb267ebf0..33756a7c8f 100644
--- 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']