From ca78d92aa55e9ba8ad179ef42515e4e7b2b8155a Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Tue, 13 May 2025 16:59:17 +0200 Subject: Apply some suggestions from hlint --- src/Data/Array/Mixed/Permutation.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data/Array/Mixed/Permutation.hs') diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs index 8efcbe8..cedfa22 100644 --- a/src/Data/Array/Mixed/Permutation.hs +++ b/src/Data/Array/Mixed/Permutation.hs @@ -85,7 +85,7 @@ permCheckPermutation = \p k -> provePerm1 :: Proxy isTop -> SNat (Rank isTop) -> Perm is' -> Maybe (AllElem' is' (Count 0 (Rank isTop)) :~: True) - provePerm1 _ _ PNil = Just (Refl) + provePerm1 _ _ PNil = Just Refl provePerm1 p rtop@SNat (PCons sn@SNat perm) | Just Refl <- provePerm1 p rtop perm = case (cmpNat (SNat @0) sn, cmpNat sn rtop) of -- cgit v1.2.3-70-g09d2