remove comments

anoma · Sep 28, 2023 · d6eaf80 · d6eaf80
1 parent 745f0de
commit d6eaf80
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/Juvix/Compiler/Internal/Extra/Base.hs b/src/Juvix/Compiler/Internal/Extra/Base.hs
@@ -162,7 +162,6 @@ instance HasExpressions Example where
   leafExpressions f = traverseOf exampleExpression (leafExpressions f)
 
 instance HasExpressions FunctionDef where
-  -- leafExpressions f (FunctionDef name ty clauses bi) = do
   leafExpressions f FunctionDef {..} = do
     body' <- leafExpressions f _funDefBody
     ty' <- leafExpressions f _funDefType

diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/ArityChecking/Checker.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/ArityChecking/Checker.hs
@@ -131,7 +131,6 @@ checkFunctionDef ::
 checkFunctionDef FunctionDef {..} = do
   let arity = typeArity _funDefType
   _funDefType' <- withEmptyLocalVars (checkType _funDefType)
-  -- _funDefClauses' <- mapM (checkFunctionClause arity) _funDefClauses
   _funDefBody' <- checkFunctionBody arity _funDefBody
   _funDefExamples' <- withEmptyLocalVars (mapM checkExample _funDefExamples)
   return