From 2ff610ab30e34b589660e5e794801ca2e1e912c0 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 20 Nov 2024 15:47:46 +0100
Subject: [PATCH] remove debug comment

---
 src/Juvix/Compiler/Concrete/Translation/FromSource.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Juvix/Compiler/Concrete/Translation/FromSource.hs b/src/Juvix/Compiler/Concrete/Translation/FromSource.hs
index de0e80a83e..d65f1a352b 100644
--- a/src/Juvix/Compiler/Concrete/Translation/FromSource.hs
+++ b/src/Juvix/Compiler/Concrete/Translation/FromSource.hs
@@ -1307,7 +1307,6 @@ getPragmas = P.lift $ do
 typeSig :: (Members '[ParserResultBuilder, PragmasStash, Error ParserError, JudocStash] r) => SigOptions -> ParsecS r (TypeSig 'Parsed)
 typeSig opts = P.label "<type signature>" $ do
   _typeSigArgs <- many (parseArg opts)
-  --  let _typeSigArgs :: [SigArg 'Parsed] = []
   _typeSigColonKw <-
     Irrelevant
       <$> if