Merge pull request #12 from tomsmeding/fix-permutation

Modify Permutation to only allow actual permutations
augustss · Dec 20, 2024 · de089f6 · de089f6
2 parents 9717153 + 4a8aaa4
commit de089f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/Array/Internal/Shape.hs b/Data/Array/Internal/Shape.hs
@@ -115,7 +115,7 @@ instance (KnownNat l, KnownNat h, (l+s+h) ~ s', Padded ps sh sh') =>
 -----------------
 
 class Permutation (is :: [Nat])
-instance (AllElem is (Count 0 is)) => Permutation is
+instance (AllElem is (Count 0 is), AllElem (Count 0 is) is) => Permutation is
 
 type family Count (i :: Nat) (xs :: [Nat]) :: [Nat] where
   Count i '[] = '[]