Fix compiler warning

anoma · Oct 10, 2024 · 861b33c · 861b33c
1 parent 1242a63
commit 861b33c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Nockma/Translation/FromTree.hs b/src/Juvix/Compiler/Nockma/Translation/FromTree.hs
@@ -786,7 +786,10 @@ opAddress' :: Term Natural -> Term Natural
 opAddress' x = evaluated $ (opQuote "opAddress'" OpAddress) # x
 
 argsTuplePlaceholder :: Text -> Natural -> Term Natural
-argsTuplePlaceholder txt arity = ("argsTuplePlaceholder-" <> txt) @ foldTermsOrNil (replicate (fromIntegral arity) (TermAtom nockNil))
+argsTuplePlaceholder txt arity = ("argsTuplePlaceholder-" <> txt) @ foldTermsOrNil (replicate arityInt (TermAtom nockNil))
+  where
+    arityInt :: Int
+    arityInt = fromIntegral arity
 
 appendRights :: (Member (Reader CompilerCtx) r) => Path -> Term Natural -> Sem r (Term Natural)
 appendRights path n = do