@@ -48,8 +48,8 @@ forceArgs n t = do i <- getIState
49 guarded :: Term -> [Int]
49 guarded :: Term -> [Int]
50 guarded t@(App f a)
50 guarded t@(App f a)
51− | (P (TCon _ _) _ _, args) <- unApply t
51+-- | (P (TCon _ _) _ _, args) <- unApply t
52− = mapMaybe isF args ++ concatMap guarded args
52+-- = mapMaybe isF args ++ concatMap guarded args
53 | (P (DCon _ _) _ _, args) <- unApply t
53 | (P (DCon _ _) _ _, args) <- unApply t
54 = mapMaybe isF args ++ concatMap guarded args
54 = mapMaybe isF args ++ concatMap guarded args
55 guarded t = mapMaybe isF [t]
55 guarded t = mapMaybe isF [t]