Update src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/…

…Positivity/Checker.hs Co-authored-by: Jan Mas Rovira <[email protected]>
anoma · Nov 30, 2023 · fc359ab · fc359ab
1 parent 10ebf30
commit fc359ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/Positivity/Checker.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/Positivity/Checker.hs
@@ -150,7 +150,7 @@ checkStrictlyPositiveOccurrences p = do
             ax@ExpressionIden IdenAxiom {} -> do
               when (isJust $ find (varOrInductiveInExpression name) args) $
                 throwTypeAsArgumentOfBoundVarError ax
-            var@(ExpressionIden (IdenVar _)) -> do
+            var@ExpressionIden IdenVar {} -> do
               when (isJust $ find (varOrInductiveInExpression name) args) $
                 throwTypeAsArgumentOfBoundVarError var
             ExpressionIden (IdenInductive ty') -> do