From 933153197b3f2e1e75b8d88b0da6d99a41e8f471 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Tue, 7 Apr 2026 16:39:01 +0200 Subject: Apply some hlint hints --- src/Data/Array/Nested/Shaped/Shape.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/Data/Array/Nested/Shaped/Shape.hs') diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs index bec2495..622ab97 100644 --- a/src/Data/Array/Nested/Shaped/Shape.hs +++ b/src/Data/Array/Nested/Shaped/Shape.hs @@ -4,7 +4,6 @@ {-# LANGUAGE GADTs #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE ImportQualifiedPost #-} -{-# LANGUAGE MagicHash #-} {-# LANGUAGE NoStarIsType #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE PolyKinds #-} @@ -14,7 +13,6 @@ {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE StandaloneKindSignatures #-} {-# LANGUAGE StrictData #-} -{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} @@ -185,7 +183,7 @@ type IIxS sh = IxS sh Int deriving instance Show i => Show (IxS sh i) #else instance Show i => Show (IxS sh i) where - showsPrec _ (IxS l) = listsShow (\i -> shows i) l + showsPrec _ (IxS l) = listsShow shows l #endif ixsRank :: IxS sh i -> SNat (Rank sh) @@ -335,7 +333,7 @@ shsFromList sh0@(ShS (ShX topsh)) topl = go topsh topl `seq` sh0 go ZH _ = error $ "shsFromList: List too long (type says " ++ show (listhLength topsh) ++ ")" go (ConsKnown sn sh) (i : is) | i == fromSNat' sn = go sh is - | otherwise = error $ "shsFromList: Value does not match typing" + | otherwise = error "shsFromList: Value does not match typing" go ConsUnknown{} _ = error "shsFromList: impossible case" go _ _ = error $ "shsFromList: List too short (type says " ++ show (listhLength topsh) ++ ")" -- cgit v1.3