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

…Positivity/Checker.hs Co-authored-by: Jan Mas Rovira <[email protected]>
anoma · Nov 30, 2023 · 3e7c303 · 3e7c303
1 parent c80e5bb
commit 3e7c303
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/Positivity/Checker.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/Positivity/Checker.hs
@@ -43,8 +43,9 @@ checkPositivity ty = do
     forM_ (ty ^. inductiveConstructors) $ \ctor -> do
       unless (ty ^. inductivePositive) $ do
         numInductives <- HashMap.size <$> asks (^. infoInductives)
-        mapM_
-          ( \typeOfConstr ->
+        forM_
+          (constructorArgs (ctor ^. inductiveConstructorType))
+          $ \typeOfConstr ->
               checkStrictlyPositiveOccurrences
                 ( CheckPositivityArgs
                     { _checkPositivityArgsInductive = ty,
@@ -56,8 +57,6 @@ checkPositivity ty = do
                       _checkPositivityArgsTypeOfConstructor = typeOfConstr
                     }
                 )
-          )
-          (constructorArgs (ctor ^. inductiveConstructorType))
 
 checkStrictlyPositiveOccurrences ::
   forall r.