From d78804e6391496cde4cc62dc2776da5789ece4ba Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 9 Oct 2024 12:18:49 +0200 Subject: Remove redundant Elt constraint --- src/Data/Array/Nested/Internal/Ranked.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data') diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index ffa1cea..e5ed3af 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -525,5 +525,5 @@ mtoRanked arr | Refl <- lemReplicateSucc @(Nothing @Nat) @(Rank sh'T) = SUnknown (fromSMayNat' smn) :$% convSh sh -rtoMixed :: forall n a. Elt a => Ranked n a -> Mixed (Replicate n Nothing) a +rtoMixed :: forall n a. Ranked n a -> Mixed (Replicate n Nothing) a rtoMixed (Ranked arr) = arr -- cgit v1.2.3-70-g09d2